- Timestamp:
- 2015-06-11T23:53:17-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/buchberger.lisp
r1408 r1409 63 63 (do () 64 64 ((pair-queue-empty-p b) 65 #+grobner-check(grobner-test ring f f)65 #+grobner-check(grobner-test ring-and-order f f) 66 66 (debug-cgb "~&GROBNER END") 67 67 f) … … 110 110 (when (plusp start) (debug-cgb "~&INCREMENTAL:~d done" start)) 111 111 #+grobner-check (when (plusp start) 112 (grobner-test ring (subseq f 0 start) (subseq f 0 start)))112 (grobner-test ring-and-order (subseq f 0 start) (subseq f 0 start))) 113 113 ;;Initialize critical pairs 114 114 (let ((b (pair-queue-initialize (make-pair-queue) f start))
Note:
See TracChangeset
for help on using the changeset viewer.