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
¶ 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.
-
enumerator