- Timestamp:
- 2016-05-30T21:19:20-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3994 r3995 93 93 (critical-pair-first pair) 94 94 (critical-pair-second pair))) 95 95 :test pair-order-fn))) 96 96 "Makes a priority queue for critical pairs. The argument POLY-LIST should the initial list of polynomials. 97 97 and START is the first position beyond the elements which form a
Note:
See TracChangeset
for help on using the changeset viewer.