add_rules(FroidurePinBase&)ΒΆ
-
void
libsemigroups::FpSemigroupInterface
::
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:alphabet() is empty;
the number of generators of
S
is not equal toalphabet().size()
; orstarted() returns
true
;