Changeset 1911
- Timestamp:
- 2015-06-15T18:04:39-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1910 r1911 381 381 (ring (ro-ring ring-and-order))) 382 382 "It yields the S-polynomial of polynomials F and G." 383 (declare (type poly f g))383 (declare (type ring-and-order ring-and-order) (type poly f g)) 384 384 (let* ((lcm (monom-lcm (poly-lm f) (poly-lm g))) 385 385 (mf (monom-div lcm (poly-lm f)))
Note:
See TracChangeset
for help on using the changeset viewer.