- Timestamp:
- 2016-05-30T11:05:36-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3963 r3964 26 26 "CRITICAL-PAIR-SECOND" 27 27 "CRITICAL-PAIR-QUEUE" 28 "SELECTION-STRATEGY" 29 "MIN-TOTAL-DEGREE-STRATEGY" 28 30 "ENQUEUE" 29 31 "DEQUEUE" … … 81 83 minimum total degree of LCM of leading monomials is selected.")) 82 84 83 (defclass min imal-length-strategy (selection-strategy)85 (defclass min-combined-length-strategy (selection-strategy) 84 86 ((pair-key-fn :initform #'(lambda (p q) (+ (poly-length p) (poly-length q)))) 85 87 (pair-order-fn :initform #'<))
Note:
See TracChangeset
for help on using the changeset viewer.