Changeset 2447

Timestamp:

2015-06-19T10:04:24-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (1 diff)

branches/f4grobner/polynomial.lisp

@@ -134 +134 @@
   (length (poly-termlist self)))
 
-(defmethod scalar-multiply ((self poly) scalar)
+(defmethod multiply-by-scalar ((self poly) scalar)
   "The scalar product of a polynomial SELF by a scalar SCALAR."
-  (mapc #'(lambda (term) (scalar-multiply term scalar)) (poly-termlist self))
+  (mapc #'(lambda (term) (multiply-by-scalar term scalar)) (poly-termlist self))
   self)
 
-(defun scalar-times-poly-1 (ring c p)
-  "The scalar product of scalar C by a polynomial P, omitting the head term. The sugar of the
-original polynomial becomes the sugar of the result."
-  (declare (type ring ring) (type poly p))
-  (make-poly-from-termlist (scalar-times-termlist ring c (cdr (poly-termlist p))) (poly-sugar p)))
-
-(defun monom-times-poly (m p)
-  (declare (type monom m) (type poly p))
-  (make-poly-from-termlist 
-   (monom-times-termlist m (poly-termlist p))
-   (+ (poly-sugar p) (monom-sugar m))))
+(defun multiply-by-monom ((self poly) (monom monom))
+  (mapc #'(lambda (term) (r* term monom)) (poly-termlist self))
+  self)
+
 
 (defun term-times-poly (ring term p)