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 2438


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order.lisp

    r2437 r2438  
    4242
    4343;; pure lexicographic
    44 (defgeneric lex> (p q &optional start end)
     44(defgeneric lex> (p q)
    4545  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    4646    "Return T if P>Q with respect to lexicographic order, otherwise NIL.
     
    5656
    5757;; total degree order , ties broken by lexicographic
    58 (defgeneric grlex> (p q &optional start end)
     58(defgeneric grlex> (p q)
    5959  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    6060    "Return T if P>Q with respect to graded lexicographic order, otherwise NIL.
     
    7272
    7373;; reverse lexicographic
    74 (defgeneric revlex> (p q &optional start end)
     74(defgeneric revlex> (p q)
    7575  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    7676    "Return T if P>Q with respect to reverse lexicographic order, NIL
     
    9191
    9292;; total degree, ties broken by reverse lexicographic
    93 (defgeneric grevlex> (p q &optional start end)
     93(defgeneric grevlex> (p q)
    9494  (:method  ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    9595    "Return T if P>Q with respect to graded reverse lexicographic order,
     
    105105         (revlex> p q start end))))))
    106106
    107 (defgeneric invlex> (p q &optional start end)
     107(defgeneric invlex> (p q)
    108108  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    109109    "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise
     
    121121(defun reverse-monomial-order (order)
    122122  "Create the inverse monomial order to the given monomial order ORDER."
    123   #'(lambda (p q &optional (start 0) (end (r-dimension q)))
    124       (declare (type monom p q) (type fixnum start end))
    125       (funcall order q p start end)))
     123  #'(lambda (p q)
     124      (declare (type monom p q))
     125      (funcall order q p)))
    126126
    127127;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note: See TracChangeset for help on using the changeset viewer.