Changeset 426

Timestamp:

2015-06-06T19:39:44-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/order.lisp (modified) (2 diffs)

branches/f4grobner/order.lisp

@@ -64 +64 @@
 
 
-;; total degree, ties broken by reverse lexicographic
-(defun grevlex> (p q &optional (start 0) (end (monom-dimension  p)))
-  "Return T if P>Q with respect to graded reverse lexicographic order,
-NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL."
-  (declare (type monom p q) (type fixnum start end))
-  (let ((d1 (monom-total-degree p start end))
-        (d2 (monom-total-degree q start end)))
-    (cond
-     ((> d1 d2) (values t nil))
-     ((< d1 d2) (values nil nil))
-     (t
-      (revlex> p q start end)))))
-
-
 ;; reverse lexicographic
 (defun revlex> (p q &optional (start 0) (end (monom-dimension  p)))
@@ -96 +82 @@
 
 
+;; total degree, ties broken by reverse lexicographic
+(defun grevlex> (p q &optional (start 0) (end (monom-dimension  p)))
+  "Return T if P>Q with respect to graded reverse lexicographic order,
+NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL."
+  (declare (type monom p q) (type fixnum start end))
+  (let ((d1 (monom-total-degree p start end))
+        (d2 (monom-total-degree q start end)))
+    (cond
+     ((> d1 d2) (values t nil))
+     ((< d1 d2) (values nil nil))
+     (t
+      (revlex> p q start end)))))
+
 (defun invlex> (p q &optional (start 0) (end (monom-dimension  p)))
   "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise