Changeset 2706

Timestamp:

2015-06-20T16:46:05-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/order.lisp

@@ -43 +43 @@
 ;; pure lexicographic
 (defgeneric lex> (p q &optional start end)
-  (:documentation 
-   "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.")
+  (:documentation "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.")
   (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     (declare (type fixnum start end))
@@ -58 +58 @@
 ;; total degree order , ties broken by lexicographic
 (defgeneric grlex> (p q &optional start end)
+  (:documentation "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.")
   (: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.
-The second returned value is T if P=Q, otherwise it is NIL."
     (declare (type monom p q) (type fixnum start end))
     (let ((d1 (r-total-degree p start end))