Changeset 2426

Timestamp:

2015-06-19T07:58:44-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/order.lisp

@@ -45 +45 @@
   "Return T if P>Q with respect to lexicographic order, otherwise NIL.
 The second returned value is T if P=Q, otherwise it is NIL."
-  (declare (type monom p q) (type fixnum start end))
+  (declare (type fixnum start end))
   (do ((i start (1+ i)))
       ((>= i end) (values nil t))
@@ -55 +55 @@
 
 ;; total degree order , ties broken by lexicographic
-(defun grlex> (p q &optional (start 0) (end (monom-dimension  p)))
+(defmethod grlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension  p)))
   "Return T if P>Q with respect to graded lexicographic order, otherwise NIL.
 The second returned value is T if P=Q, otherwise it is NIL."
@@ -70 +70 @@
 
 ;; reverse lexicographic
-(defun revlex> (p q &optional (start 0) (end (monom-dimension  p)))
+(defmethod revlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension  p)))
   "Return T if P>Q with respect to reverse lexicographic order, NIL
 otherwise.  The second returned value is T if P=Q, otherwise it is
@@ -76 +76 @@
 not have a minimal element. This order is useful in constructing other
 orders."
-  (declare (type monom p q) (type fixnum start end))
+  (declare (type fixnum start end))
   (do ((i (1- end) (1- i)))
       ((< i start) (values nil t))
@@ -88 +88 @@
 
 ;; total degree, ties broken by reverse lexicographic
-(defun grevlex> (p q &optional (start 0) (end (monom-dimension  p)))
+(defmethod grevlex> ((p monom) (q monom) &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."