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.

Ignore:
Timestamp:
2015-06-19T07:58:44-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order.lisp

    r2425 r2426  
    4545  "Return T if P>Q with respect to lexicographic order, otherwise NIL.
    4646The second returned value is T if P=Q, otherwise it is NIL."
    47   (declare (type monom p q) (type fixnum start end))
     47  (declare (type fixnum start end))
    4848  (do ((i start (1+ i)))
    4949      ((>= i end) (values nil t))
     
    5555
    5656;; total degree order , ties broken by lexicographic
    57 (defun grlex> (p q &optional (start 0) (end (monom-dimension  p)))
     57(defmethod grlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension  p)))
    5858  "Return T if P>Q with respect to graded lexicographic order, otherwise NIL.
    5959The second returned value is T if P=Q, otherwise it is NIL."
     
    7070
    7171;; reverse lexicographic
    72 (defun revlex> (p q &optional (start 0) (end (monom-dimension  p)))
     72(defmethod revlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension  p)))
    7373  "Return T if P>Q with respect to reverse lexicographic order, NIL
    7474otherwise.  The second returned value is T if P=Q, otherwise it is
     
    7676not have a minimal element. This order is useful in constructing other
    7777orders."
    78   (declare (type monom p q) (type fixnum start end))
     78  (declare (type fixnum start end))
    7979  (do ((i (1- end) (1- i)))
    8080      ((< i start) (values nil t))
     
    8888
    8989;; total degree, ties broken by reverse lexicographic
    90 (defun grevlex> (p q &optional (start 0) (end (monom-dimension  p)))
     90(defmethod grevlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension  p)))
    9191  "Return T if P>Q with respect to graded reverse lexicographic order,
    9292NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL."
Note: See TracChangeset for help on using the changeset viewer.