Changeset 2438 for branches

Timestamp:

2015-06-19T08:23:03-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/order.lisp

@@ -42 +42 @@
 
 ;; pure lexicographic
-(defgeneric lex> (p q &optional start end)
+(defgeneric lex> (p q)
   (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     "Return T if P>Q with respect to lexicographic order, otherwise NIL.
@@ -56 +56 @@
 
 ;; total degree order , ties broken by lexicographic
-(defgeneric grlex> (p q &optional start end)
+(defgeneric grlex> (p q)
   (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     "Return T if P>Q with respect to graded lexicographic order, otherwise NIL.
@@ -72 +72 @@
 
 ;; reverse lexicographic
-(defgeneric revlex> (p q &optional start end)
+(defgeneric revlex> (p q)
   (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     "Return T if P>Q with respect to reverse lexicographic order, NIL
@@ -91 +91 @@
 
 ;; total degree, ties broken by reverse lexicographic
-(defgeneric grevlex> (p q &optional start end)
+(defgeneric grevlex> (p q)
   (:method  ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     "Return T if P>Q with respect to graded reverse lexicographic order,
@@ -105 +105 @@
          (revlex> p q start end))))))
 
-(defgeneric invlex> (p q &optional start end)
+(defgeneric invlex> (p q)
   (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise
@@ -121 +121 @@
 (defun reverse-monomial-order (order)
   "Create the inverse monomial order to the given monomial order ORDER."
-  #'(lambda (p q &optional (start 0) (end (r-dimension q))) 
-      (declare (type monom p q) (type fixnum start end))
-      (funcall order q p start end)))
+  #'(lambda (p q) 
+      (declare (type monom p q))
+      (funcall order q p)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;