KnuthBendix(std::shared_ptr<FroidurePinBase>)¶
-
inline explicit 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
S – the FroidurePin instance.