In ginv the following monomial orders have been implemented:
"TopDegRevLex"
, "DegRevLex"
"TopDegRevLexByte"
, "DegRevLexByte"
For vectorization it is necessary to know where in a given computer the sign bit is located: in the beginning or in the end of the machine word. This is defined by the C macros WORDS_BIGENDIAN or WORDS_LITTLEENDIAN. If they are not specified, then all vectorization does is the memory optimization.
"TopLex"
, "TopElim"
, "PotLex"
,
"PotDegRevLex"
, "PosElim"
, "Lex"
, "Elim"