Changeset 4178
- Timestamp:
- 2016-06-03T11:17:49-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-criterion.lisp
r4177 r4178 102 102 (h (string->poly "x^2*y*z" '(x y z))) 103 103 (pair (make-instance 'critical-pair :first f :second g)) 104 (b-done (make-hash-table :test #'equal)) ;TODO: make meaningful B-DONE table 105 (partial-basis (list h))) 106 (setf (gethash (list f h) b-done) t 107 (gethash (list h f) b-done) t 108 (gethash (list h g) b-done) t 109 (gethash (list g h) b-done) t) 110 (maphash #'(lambda (key value) 111 (declare (ignore value)) 112 (print (mapcar #'->sexp key))) 113 b-done) 104 (b-done (make-hash-table :test #'equal))) 105 ;; Initialize the lookup table of done pairs 106 (setf (gethash (list h f) b-done) t 107 (gethash (list h g) b-done) t) 114 108 (&body))) 115 109
Note:
See TracChangeset
for help on using the changeset viewer.