root_of_scc(index_type)

const_reference_point_type libsemigroups::Action::root_of_scc(index_type pos)

Returns a Action::const_reference_point_type to the root point of the strongly connected component of the action containing at(pos).

Return

A point of type TPointType.

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: the index of the point in the action whose root we want to find.

Exceptions