- Timestamp:
- 2015-06-09T20:53:20-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r992 r993 124 124 125 125 (defun monom-times-poly (m p) 126 (declare ( type ring ring) (poly p))126 (declare (poly p)) 127 127 (make-poly-from-termlist 128 128 (monom-times-termlist m (poly-termlist p))
Note:
See TracChangeset
for help on using the changeset viewer.