4.1 Интерфейс

class MonomInterface( order, systemType, independ, depend=None, varSep=None)
Задает правила работы с мономом
order:
строка определяющая тип упорядочения

Значение order Тип упорядочения
"TopDegRevLex" упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "термом старше позиции"
"DegRevLex" упорядочение сначала по полной степени, а затем по обратной лексикографии
"TopDegRevLexByte" упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "термом старше позиции" и с использованием векторизации
"DegRevLexByte" упорядочение сначала по полной степени, а затем по обратной лексикографии с использованием векторизации
"TopLex" упорядочение для модулей по лексикографии и с "термом старше позиции"
"TopElim" исключающее упорядочение с "термом старше позиции"
"PotLex" упорядочение для модулей по лексикографии и с "позицией старше терма"
"PotDegRevLex" упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "позицией старше терма"
"PosElim" исключающие упорядочение для модулей с "позицией старше терма"
"Lex" лексикографическое упорядочение
"Elim" исключающее упорядочение

systemType:
определяет тип системы (см. 3)

independ:
список независимых переменных

depend:
список зависимых переменных, имеет смысл только для упорядочений поддерживающих модули

varSep:
номер разделяющей переменной (зависимой или независимой), имеет смысл только для исключающих упорядочений

Класс MonomInterface имеет следующие методы:

order( )
возвращает строку определяющую тип упорядочения

dimIndepend( )
возвращает количество независимых переменных

independ( )
возвращает список независимых переменных

dimDepend( )
возвращает количество зависимых переменных

depend( )
возвращает список зависимых переменных

varSep( )
возвращает номер разделяющей переменной (зависимой или независимой)