# Changeset 5621:c3cf361df7a9

Ignore:
Timestamp:
08/03/07 05:52:12 (6 years ago)
Branch:
default
Message:

term ordering bug fixed

File:
1 edited

### Legend:

Unmodified
 r5179 \item[Reverse lexicographic (\emph{revlex})], defined as $x^a < x^b \Leftrightarrow \exists\; 1 \le i \le n : a_n = b_n, \ldots, a_{i+1} = b_{i+1}, a_i > b_i.$ $x^a < x^b \Leftrightarrow \exists\; 1 \le i \le n : a_n = b_n, \ldots, a_{i+1} = b_{i+1}, a_i < b_i.$ EXAMPLES: sage: P. = PolynomialRing(GF(127),3,order='revlex') sage: x > y True sage: x > y^2 False sage: y > x^2 True sage: x > 1 False True sage: x*y > z True False \item[Negative lexicographic (\emph{neglex})], defined as \end{description} Of these, only $degrevlex$, $deglex$, and $lex$ are global orderings. Of these, only $degrevlex$, $deglex$, $revlex$ and $lex$ are global orderings. Additionally all these monomial orderings may be combined to product