order

enum libsemigroups::congruence::ToddCoxeter::order

The values in this enum can be used as the argument for ToddCoxeter::standardize to specify which ordering should be used.

The normal forms for congruence classes are given with respect to one of the orders specified by the values in this enum.

Values:

enumerator none = 0

No standardization has been done.

enumerator shortlex

Normal forms are the short-lex least word belonging to a given congruence class.

enumerator lex

Normal forms are the lexicographical least word belonging to a given congruence class.

enumerator recursive

Normal forms are the recursive-path least word belonging to a given congruence class.