4.1 Interface

class MonomInterface( order, systemType, independ, depend=None, varSep=None)
Specifies operations over monomials
order:
string defining monomial 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:
specifies type of a system (see 3)

independ:
list of independent variables

depend:
list of dependent variables (currently used for modules)

varSep:
index of separating variable (dependent or independent) used for elimination orders

The class MonomInterface contains the following methods:

order( )
returns the string specifying the order type.

dimIndepend( )
returns the number of independent variables.

independ( )
returns the list of independent variables.

dimDepend( )
returns the number of dependent variables.

depend( )
returns the list of dependent variables.

varSep( )
returns the index of separating variable (dependent or independent).