Changeset 4179 for branches/f4grobner
- Timestamp:
- 2016-06-03T11:18:29-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-criterion.lisp
r4178 r4179 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))) 104 (b-done (make-hash-table :test #'equal)) 105 (partial-basis (list h))) 105 106 ;; Initialize the lookup table of done pairs 106 107 (setf (gethash (list h f) b-done) t
Note:
See TracChangeset
for help on using the changeset viewer.