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