order, systemType, independ, depend=None, varSep=None) |
order
:
Значение order |
Тип упорядочения |
---|---|
"TopDegRevLex" | упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "термом старше позиции" |
"DegRevLex" | упорядочение сначала по полной степени, а затем по обратной лексикографии |
"TopDegRevLexByte" | упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "термом старше позиции" и с использованием векторизации |
"DegRevLexByte" | упорядочение сначала по полной степени, а затем по обратной лексикографии с использованием векторизации |
"TopLex" | упорядочение для модулей по лексикографии и с "термом старше позиции" |
"TopElim" | исключающее упорядочение с "термом старше позиции" |
"PotLex" | упорядочение для модулей по лексикографии и с "позицией старше терма" |
"PotDegRevLex" | упорядочение для модулей сначала по полной степени, а затем по обратной лексикографии и с "позицией старше терма" |
"PosElim" | исключающие упорядочение для модулей с "позицией старше терма" |
"Lex" | лексикографическое упорядочение |
"Elim" | исключающее упорядочение |
systemType
:
independ
:
depend
:
varSep
: Класс MonomInterface имеет следующие методы:
) |
) |
) |
) |
) |
) |