KnuthBendix(T const&)

template<typename T>
libsemigroups::congruence::KnuthBendix::KnuthBendix(T const &fp)

Constructs a KnuthBendix instance from a FroidurePin instance.

Complexity

\(O(|S||A|)\) where \(A\) is the set of generators used to define S and S is the semigroup represented by the FroidurePin instance fp.

Warning

The FroidurePin instance used in construction is copied by this constructor. Use KnuthBendix(std::shared_ptr<FroidurePinBase>) to avoid making a copy.

Parameters

• fp: the FroidurePin instance.