Cadabra manual: SortOrder

SortOrder

Set sorting order of objects.

A list property which determines the preferred order of objects when a sort_product command is used.

{B,A,C,A_{m}}::SortOrder. ex:= A A_{m} B C;

\(\displaystyle{}A A_{m} B C\)

sort_product(_);

\(\displaystyle{}B A C A_{m}\)

As indicated in the example above, any type of object can appear in the list.