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.