- Timestamp:
- 2016-05-29T22:36:06-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3923 r3924 63 63 &aux 64 64 (s (1- (length f))) 65 (b (nconc (makelist (make- pair (elt f i)(elt f j))65 (b (nconc (makelist (make-instance 'critical-pair :first (elt f i) :second (elt f j)) 66 66 (i 0 (1- start)) (j start s)) 67 (makelist (make- pair (elt f i)(elt f j))67 (makelist (make-instance 'critical-pair :first (elt f i) :second (elt f j)) 68 68 (i start (1- s)) (j (1+ i) s))))) 69 69 "Initializes the priority for critical pairs. F is the initial list of polynomials. … … 87 87 88 88 (defclass selection-strategy () 89 ((pair-key-fn :initform nil :initarg :pair-key-fn :accessor pair-key-fn) 90 (pair-order-fn :initform nil :initarg :pair-order-fn :accessor pair-order-fn)) 89 91 (:documentation "Sets up variables *PAIR-KEY-FUNCTION* and *PAIR-ORDER* used 90 to determine the priority of critical pairs in the priority queue.") 91 ((pair-key-fn :initform nil :accessor pair-key-fn) 92 (pair-order-fn :initform nil :accessor monomial-order-fn))) 92 to determine the priority of critical pairs in the priority queue.")) 93 93 94 94 (defun make-normal-strategy (monomial-order-fn) … … 97 97 (make-instance 'selection-strategy 98 98 :pair-key-fn #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q))) 99 :pair-order-fn #'monomial-order-fn))99 :pair-order-fn monomial-order-fn)) 100 100 101 101 (defun make-min-total-degree-strategy ()
Note:
See TracChangeset
for help on using the changeset viewer.