Changeset 2435

Timestamp:

2015-06-19T08:13:37-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/order.lisp (modified) (1 diff)

branches/f4grobner/order.lisp

@@ -91 +91 @@
 
 ;; total degree, ties broken by reverse lexicographic
-(defmethod grevlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
-  "Return T if P>Q with respect to graded reverse lexicographic order,
+(defgeneric grevlex> (p q &optional start end)
+  (:method  ((p monom) (q monom) &optional (start 0) (end (r-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 fixnum start end))
-  (let ((d1 (r-total-degree p start end))
-        (d2 (r-total-degree q start end)))
-    (declare (type fixnum d1 d2))
-    (cond
-     ((> d1 d2) (values t nil))
-     ((< d1 d2) (values nil nil))
-     (t
-      (revlex> p q start end)))))
+    (declare (type fixnum start end))
+    (let ((d1 (r-total-degree p start end))
+          (d2 (r-total-degree q start end)))
+      (declare (type fixnum d1 d2))
+      (cond
+        ((> d1 d2) (values t nil))
+        ((< d1 d2) (values nil nil))
+        (t
+         (revlex> p q start end))))))
 
 (defmethod invlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))