multiplier_from_scc_root¶
-
element_type
libsemigroups::Action
::
multiplier_from_scc_root
(index_type pos)¶ Returns an element
x
of the semigroup generated by the generators in the action such that ifr
is the root of the strongly connected component containingat(pos)
, then afterTActionType()(res, r, x)
the pointres
equalsat(pos)
.- Return
An element of type
TElementType
.- Complexity
At most \(O(mn)\) where \(m\) is the complexity of multiplying elements of type
TElementType
and \(n\) is the size of the fully enumerated orbit.- Parameters
pos
: a position in the action.
- Exceptions
LibsemigroupsException
: if there are no generators yet added or the indexpos
is out of range.