close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 2435


Ignore:
Timestamp:
2015-06-19T08:13:37-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order.lisp

    r2434 r2435  
    9191
    9292;; total degree, ties broken by reverse lexicographic
    93 (defmethod grevlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    94   "Return T if P>Q with respect to graded reverse lexicographic order,
     93(defgeneric grevlex> (p q &optional start end)
     94  (:method  ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     95    "Return T if P>Q with respect to graded reverse lexicographic order,
    9596NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL."
    96   (declare (type fixnum start end))
    97   (let ((d1 (r-total-degree p start end))
    98         (d2 (r-total-degree q start end)))
    99     (declare (type fixnum d1 d2))
    100     (cond
    101      ((> d1 d2) (values t nil))
    102      ((< d1 d2) (values nil nil))
    103      (t
    104       (revlex> p q start end)))))
     97    (declare (type fixnum start end))
     98    (let ((d1 (r-total-degree p start end))
     99          (d2 (r-total-degree q start end)))
     100      (declare (type fixnum d1 d2))
     101      (cond
     102        ((> d1 d2) (values t nil))
     103        ((< d1 d2) (values nil nil))
     104        (t
     105         (revlex> p q start end))))))
    105106
    106107(defmethod invlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
Note: See TracChangeset for help on using the changeset viewer.