a field-theory motivated approach to computer algebra

## 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.