Changeset 3958
- Timestamp:
- 2016-05-30T01:02:20-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3957 r3958 88 88 89 89 (defmethod initialize-instance :after ((self critical-pair-queue) &key (poly-list nil) (start 1)) 90 "Initializes the priority queue SELF of critical pairs .POLY-LIST is the initial list of polynomials.91 START is the first position beyond the elements which form a partial 92 grobner basis, i.e. satisfy the Buchberger criterion."90 "Initializes the priority queue SELF of critical pairs, where POLY-LIST is the initial list of polynomials. 91 and START is the first position beyond the elements which form a 92 partial Grobner basis, i.e. satisfy the Buchberger criterion." 93 93 (with-accessors ((pair-key-fn pair-key-fn) 94 94 (pair-order-fn pair-order-fn)
Note:
See TracChangeset
for help on using the changeset viewer.