- Timestamp:
- 2016-06-03T19:42:30-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/buchberger.lisp
r4192 r4194 48 48 (grobner-test (subseq f 0 start) (subseq f 0 start))) 49 49 ;;Initialize critical pairs 50 (let ((b (make- instance 'critical-pair-queue *normal-strategy* f start))50 (let ((b (make-critical-pair-queue *normal-strategy* f start)) 51 51 (b-done (make-hash-table :test #'equal))) 52 52 (declare (type critical-pair-queue b) (type hash-table b-done)) … … 78 78 ;; Add new critical pairs 79 79 (dolist (h f) 80 (enqueue b (make-instance 'critical-pair hsp)))80 (enqueue b (make-instance 'critical-pair :first h :second sp))) 81 81 (debug-cgb "~&Polynomials: ~d; Pairs left: ~d; Pairs done: ~d;" 82 82 (length f) (queue-size b) … … 102 102 (grobner-test (subseq f 0 start) (subseq f 0 start))) 103 103 ;;Initialize critical pairs 104 (let ((b (make- instance 'critical-pair-queue *normal-strategy* f start))104 (let ((b (make-critical-pair-queue *normal-strategy* f start)) 105 105 (b-done (make-hash-table :test #'equal)) 106 106 (coeff-zero (make-zero-for (leading-coefficient (car f)))) … … 146 146 ;; Add new critical pairs 147 147 (dolist (h f) 148 (enqueue b (make-instance 'critical-pair hsp)))148 (enqueue b (make-instance 'critical-pair :first h :second sp))) 149 149 (debug-cgb "~&Polynomials: ~d; Pairs left: ~d; Pairs done: ~d;" 150 150 (length f) (queue-size b)
Note:
See TracChangeset
for help on using the changeset viewer.