Changeset 977 for branches/f4grobner
- Timestamp:
- 2015-06-09T20:41:03-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r976 r977 115 115 116 116 (defun scalar-times-poly (ring c p) 117 (declare (type ring ring)) 117 118 (make-poly-from-termlist (scalar-times-termlist ring c (poly-termlist p)) (poly-sugar p))) 118 119 119 120 ;; The scalar product omitting the head term 120 121 (defun scalar-times-poly-1 (ring c p) 122 (declare (type ring ring)) 121 123 (make-poly-from-termlist (scalar-times-termlist ring c (cdr (poly-termlist p))) (poly-sugar p))) 122 124 123 125 (defun monom-times-poly (m p) 126 (declare (type ring ring)) 124 127 (make-poly-from-termlist (monom-times-termlist m (poly-termlist p)) (+ (poly-sugar p) (monom-sugar m)))) 125 128
Note:
See TracChangeset
for help on using the changeset viewer.