- Timestamp:
- 2015-06-11T11:50:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1213 r1214 121 121 122 122 (defun scalar-times-poly (ring c p) 123 "The scalar product of scalar C by a polynomial P. The sugar of the 124 original polynomial becomes the sugar of the result." 123 125 (declare (type ring ring) (poly p)) 124 126 (make-poly-from-termlist (scalar-times-termlist ring c (poly-termlist p)) (poly-sugar p)))
Note:
See TracChangeset
for help on using the changeset viewer.