KnuthBendix(std::shared_ptr<FroidurePinBase>)¶
-
explicit libsemigroups::congruence::KnuthBendix::KnuthBendix(std::shared_ptr<FroidurePinBase> fpb)¶
Constructs a KnuthBendix instance from a FroidurePin instance.
- Complexity
\(O(|S||A|)\) where \(A\) is the set of generators used to define
S
.
Note
The FroidurePin instance used in construction is not copied.
- Parameters
fpb – the FroidurePin instance.