order, systemType, independ, depend=None, varSep=None) |
order
:
Value of order |
Order type |
---|---|
"TopDegRevLex" | "term over position" order for modules where the terms are compared, first, by their total degree and, second, reverse lexicographically |
"DegRevLex" | total degree order where the ties are broken by the reverse lexicography |
"TopDegRevLexByte" | "term over position" order for modules with vectorization and such that the terms are compared, first, by their total degree and, second, reverse lexicographically |
"DegRevLexByte" | order with vectorization and such that the terms are compared, first, by their total degree and, second, reverse lexicographically |
"TopLex" | lexicographical "term over position" order for modules |
"TopElim" | elimination "term over position" order |
"PotLex" | lexicographical "position over term" order for modules |
"PotDegRevLex" | "position over therm order" order for modules where the terms are compared first by their total degree and then reverse lexicographically |
"PosElim" | elimination order for dependent variables |
"Lex" | lexicographical order |
"Elim" | elimination order for independent variables |
systemType
:
independ
:
depend
:
varSep
: The class MonomInterface contains the following methods:
) |
) |
) |
) |
) |
) |