Changeset 3912
- Timestamp:
- 2016-05-29T20:10:25-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pair-queue.lisp
r3911 r3912 56 56 (declare (type poly p q) (type monom lcm) (type fixnum d)) 57 57 (cons (max 58 (+ (- d (sugar (leading-monomial p))) ( poly-sugar p))59 (+ (- d (sugar (leading-monomial q))) ( poly-sugar q)))58 (+ (- d (sugar (leading-monomial p))) (sugar p)) 59 (+ (- d (sugar (leading-monomial q))) (sugar q))) 60 60 lcm)) 61 61
Note:
See TracChangeset
for help on using the changeset viewer.