Changeset 3947 for branches/f4grobner
- Timestamp:
- 2016-05-30T00:38:30-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3946 r3947 89 89 90 90 (defmethod initialize-instance :after ((self critical-pair-queue) &key (f nil) (start 1)) 91 "Initializes the priority for critical pairs. F is the initial list of polynomials. 92 START is the first position beyond the elements which form a partial 93 grobner basis, i.e. satisfy the Buchberger criterion." 91 94 (with-accessors ((pair-key-fn pair-key-fn) 92 95 (pair-order-fn pair-order-fn)
Note:
See TracChangeset
for help on using the changeset viewer.