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
andS
is the semigroup represented by the FroidurePin instancefp
.- 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.