KnuthBendix(FroidurePinBase&)¶
-
libsemigroups::fpsemigroup::KnuthBendix
::
KnuthBendix
(FroidurePinBase &S)¶ Constructs a KnuthBendix instance from a FroidurePin instance.
- Complexity
\(O(|S||A|)\) where \(A\) is the set of generators used to define
S
.- Parameters
S
: the FroidurePin instance.