root_of_scc(const_reference_point_type)

const_reference_point_type libsemigroups::Action::root_of_scc(const_reference_point_type x)

Returns an Action::const_reference_point_type to the root point of the strongly connected component of the action containing the point x.

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

  • x: the point whose root we want to find.

Exceptions