add_rules(FroidurePinBase&)¶
-
void libsemigroups::fpsemigroup::KnuthBendix::add_rules(FroidurePinBase &S)¶
Add the rules of a finite presentation for
S
tothis
.- Complexity
At most \(O(|S||A|)\) where \(A\) is a generating set for
S
.
- Parameters
S – a FroidurePin object representing a semigroup.
- Throws
LibsemigroupsException – if any of the following apply:
- Returns
(None)