root_of_scc(const_reference_point_type)

inline 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.

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.

Throws

LibsemigroupsException – if the point x does not belong to the action.

Returns

A point of type TPointType.