Changeset 4485
- Timestamp:
- 2016-06-15T20:30:57-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4484 r4485 42 42 43 43 44 (def ungrobner-op (c1 c2 m f g)44 (defmacro grobner-op (c1 c2 m f g) 45 45 "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial." 46 (declare (type monom m) (type poly f g)) 47 (subtract (multiply f c2) (multiply g m c1))) 46 `(subtract (multiply ,f ,c2) (multiply ,g ,m ,c1))) 48 47 49 48 (defun check-loop-invariant (c f a fl r p &aux (p-zero (make-zero-for f)))
Note:
See TracChangeset
for help on using the changeset viewer.