Changeset 1213
- Timestamp:
- 2015-06-11T11:50:11-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1209 r1213 124 124 (make-poly-from-termlist (scalar-times-termlist ring c (poly-termlist p)) (poly-sugar p))) 125 125 126 ;; The scalar product omitting the head term127 126 (defun scalar-times-poly-1 (ring c p) 127 "The scalar product of scalar C by a polynomial P, omitting the head term. The sugar of the 128 original polynomial becomes the sugar of the result." 128 129 (declare (type ring ring) (poly p)) 129 130 (make-poly-from-termlist (scalar-times-termlist ring c (cdr (poly-termlist p))) (poly-sugar p)))
Note:
See TracChangeset
for help on using the changeset viewer.