minimal_factorisation(element_index_type)ΒΆ
-
word_type
libsemigroups::FroidurePinBase
::
minimal_factorisation
(element_index_type pos) Changes
word
in-place to contain a minimal word with respect to the short-lex ordering in the generators equal to thepos
element of the semigroup.If
pos
is less than the size of this semigroup, then this member function changes its first parameterword
in-place by first clearing it and then to contain a minimal factorization of the element in positionpos
of the semigroup with respect to the generators of the semigroup. This member function enumerates the semigroup until at least thepos
element is known. Ifpos
is greater than the size of the semigroup, then a LibsemigroupsException is thrown.