Changeset 1215

Timestamp:

2015-06-11T11:53:59-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (2 diffs)

branches/f4grobner/polynomial.lisp

@@ -120 +120 @@
 (defun poly-length (p) (length (poly-termlist p)))
 
+(defun poly-reset-sugar (p)
+  (declare (type poly p))
+
 (defun scalar-times-poly (ring c p)
   "The scalar product of scalar C by a polynomial P. The sugar of the
 original polynomial becomes the sugar of the result."
-  (declare (type ring ring) (poly p))
+  (declare (type ring ring) (type poly p))
   (make-poly-from-termlist (scalar-times-termlist ring c (poly-termlist p)) (poly-sugar p)))
 
@@ -129 +132 @@
   "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) (poly p))
+  (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 (poly p))
+  (declare (type poly p))
   (make-poly-from-termlist 
    (monom-times-termlist m (poly-termlist p))