Changeset 5621:c3cf361df7a9

Timestamp:

08/03/07 05:52:12 (6 years ago)

Author:

'Martin Albrecht <malb@…

Branch:

default

Message:

term ordering bug fixed

File:

• sage/rings/polynomial/term_order.py (modified) (2 diffs)

sage/rings/polynomial/term_order.py

@@ -64 +64 @@
 \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.<x,y,z> = 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
@@ -137 +137 @@
 \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