Changeset 981
- Timestamp:
- 2015-06-09T20:43:57-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r980 r981 115 115 116 116 (defun scalar-times-poly (ring c p) 117 (declare (type ring ring) )117 (declare (type ring ring) (poly p)) 118 118 (make-poly-from-termlist (scalar-times-termlist ring c (poly-termlist p)) (poly-sugar p))) 119 119 120 120 ;; The scalar product omitting the head term 121 121 (defun scalar-times-poly-1 (ring c p) 122 (declare (type ring ring) )122 (declare (type ring ring) (poly p)) 123 123 (make-poly-from-termlist (scalar-times-termlist ring c (cdr (poly-termlist p))) (poly-sugar p))) 124 124 125 125 (defun monom-times-poly (m p) 126 (declare (type ring ring) )126 (declare (type ring ring) (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.