Changeset 2439
- Timestamp:
- 2015-06-19T08:25:04-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r2438 r2439 42 42 43 43 ;; pure lexicographic 44 (defgeneric lex> (p q )44 (defgeneric lex> (p q &optional start end) 45 45 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 46 46 "Return T if P>Q with respect to lexicographic order, otherwise NIL. … … 56 56 57 57 ;; total degree order , ties broken by lexicographic 58 (defgeneric grlex> (p q )58 (defgeneric grlex> (p q &optional start end) 59 59 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 60 60 "Return T if P>Q with respect to graded lexicographic order, otherwise NIL. … … 72 72 73 73 ;; reverse lexicographic 74 (defgeneric revlex> (p q )74 (defgeneric revlex> (p q &optional start end) 75 75 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 76 76 "Return T if P>Q with respect to reverse lexicographic order, NIL … … 91 91 92 92 ;; total degree, ties broken by reverse lexicographic 93 (defgeneric grevlex> (p q )93 (defgeneric grevlex> (p q &optional start end) 94 94 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 95 95 "Return T if P>Q with respect to graded reverse lexicographic order, … … 105 105 (revlex> p q start end)))))) 106 106 107 (defgeneric invlex> (p q )107 (defgeneric invlex> (p q &optional start end) 108 108 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 109 109 "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise … … 121 121 (defun reverse-monomial-order (order) 122 122 "Create the inverse monomial order to the given monomial order ORDER." 123 #'(lambda (p q )124 (declare (type monom p q) )125 (funcall order q p )))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))) 126 126 127 127 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note:
See TracChangeset
for help on using the changeset viewer.