Changeset 4312 for branches/f4grobner/5am-criterion.lisp
- Timestamp:
- 2016-06-04T22:56:30-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-criterion.lisp
r4179 r4312 103 103 (pair (make-instance 'critical-pair :first f :second g)) 104 104 (b-done (make-hash-table :test #'equal)) 105 (partial-basis (list h)))105 (partial-basis (list f g h))) 106 106 ;; Initialize the lookup table of done pairs 107 (setf (gethash (list h f) b-done) t 108 (gethash (list h g) b-done) t) 107 (setf ;;(gethash (list h f) b-done) t 108 (gethash (list f h) b-done) t 109 ;;(gethash (list h g) b-done) t 110 (gethash (list g h) b-done) t 111 ) 109 112 (&body))) 110 113
Note:
See TracChangeset
for help on using the changeset viewer.