Changeset 4466
- Timestamp:
- 2016-06-14T19:53:30-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r4312 r4466 79 79 pair-key-fn pair-order-fn)))) 80 80 81 (defparameter * normal-strategy*81 (defparameter *max-lcm-strategy* 82 82 (make-instance 83 83 'selection-strategy 84 84 :pair-key-fn #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q))) 85 85 :pair-order-fn #'lex>) 86 "The normalselection strategy where a pair with the largest LCM of86 "The selection strategy where a pair with the largest LCM of 87 87 leading monomials is selected.") 88 88 89 (defparameter * min-total-degree-strategy*89 (defparameter *normal-strategy* 90 90 (make-instance 91 91 'selection-strategy … … 93 93 :pair-order-fn #'<) 94 94 "A selection strategy where a pair with a minimum total degree of 95 LCM of leading monomials is selected. ")95 LCM of leading monomials is selected. This is known as the normal strategy.") 96 96 97 97 (defparameter *min-combined-length-strategy*
Note:
See TracChangeset
for help on using the changeset viewer.