monomial orders in Laurent polynomials
in Sage you can compare Laurent polynomials using a specified monomial order, one of the following standard ones: lex, grlex, invergrlex etc. does anyone know how these monomial orders are defined for Laurent polynomials? are they well-orders too?