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