Предметный указатель

Пакет содержит команды, вызываемые после загрузки пакета командой with(totorder) .

Вот эти команды:

tassume(г) осуществляет полное упорядочение имен по заданной последовательности отношений;

tis(r) функция для осуществления запроса относительно порядка имен;

forget(r) удаляет отношение порядка;

forget(everything) удаляет все отношения порядка;

ordering (r) функция распечатывает текущие отношения порядка;

init(r) функция восстанавливает первоначальное упорядочение,

где r - последовательность соотношений.

Примеры

> with(totorder):
tassume(a<b, b<c, c=d, d<f);

Warning, new definition for init

> tassume(u>b);

> tis(u<f);

> forget(u);

> ordering();

> tassume(u>d);

> tis(2*c-c<f);

Предметный указатель