Для сортировки полиномов предназначены следующие три функции:
Shorter(f, g, х)
Sort(v, х)
Shorten(f, x)
Здесь f и g полиномы, v — список полиномов их — независимая переменная. Функции отличаются характером сортировки.
Функция Shorter определяет полином f как более короткий, чем g, по следующим признакам: меньшая длина, меньшее имя независимой переменной х, не дробный и меньшая степень других переменных. Функция Sort сортирует лист полиномов х по признакам, определяемым Shorter. Функция Shorten использует преобразования Мебиуса. Многочисленные детали ее применения можно найти в справке по данной функции. Примеры применения функций сортировки: