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:
-
none
= 0¶ No standardization has been done.
-
shortlex
¶ Normal forms are the short-lex least word belonging to a given congruence class.
-
lex
¶ Normal forms are the lexicographical least word belonging to a given congruence class.
-
recursive
¶ Normal forms are the recursive-path least word belonging to a given congruence class.
-