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.