product_by_reductionΒΆ
-
element_index_type
libsemigroups::FroidurePinBase
::
product_by_reduction
(element_index_type, element_index_type) const Returns the position in
this
of the product ofthis->at(i)
andthis->at(j)
by following a path in the Cayley graph.The values
i
andj
must be less than FroidurePin::current_size, or a LibsemigroupsException will be thrown. This member function returns the position FroidurePin::element_index_type in the semigroup of the product ofthis->at(i)
andthis->at(j)
elements by following the path in the right Cayley graph fromi
labelled by the wordthis->minimal_factorisation(j)
or, if this->minimal_factorisation(i) is shorter, by following the path in the left Cayley graph fromj
labelled by this->minimal_factorisation(i).