KnuthBendix(std::shared_ptr<FroidurePinBase>)¶
-
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.