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 2436


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order.lisp

    r2435 r2436  
    105105         (revlex> p q start end))))))
    106106
    107 (defmethod invlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    108   "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise
     107(defgeneric invlex> (p q &optional start end)
     108  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
     109    "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise
    109110The second returned value is T if P=Q, otherwise it is NIL."
    110   (declare  (type fixnum start end))
    111   (do ((i (1- end) (1- i)))
    112       ((< i start) (values nil t))
    113     (declare (type fixnum i))
    114     (cond
    115       ((> (r-elt p i) (r-elt q i))
    116       (return-from invlex> (values t nil)))
    117       ((< (r-elt p i) (r-elt q i))
    118        (return-from invlex> (values nil nil))))))
     111    (declare  (type fixnum start end))
     112    (do ((i (1- end) (1- i)))
     113        ((< i start) (values nil t))
     114      (declare (type fixnum i))
     115      (cond
     116        ((> (r-elt p i) (r-elt q i))
     117        (return-from invlex> (values t nil)))
     118        ((< (r-elt p i) (r-elt q i))
     119         (return-from invlex> (values nil nil)))))))
    119120
    120121
Note: See TracChangeset for help on using the changeset viewer.