KnuthBendix(std::shared_ptr<FroidurePinBase>)ΒΆ

libsemigroups::fpsemigroup::KnuthBendix::KnuthBendix(std::shared_ptr<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