Changeset 980

Timestamp:

2015-06-09T20:43:31-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -125 +125 @@
 (defun monom-times-poly (m p)
   (declare (type ring ring))
-  (make-poly-from-termlist (monom-times-termlist m (poly-termlist p)) (+ (poly-sugar p) (monom-sugar m))))
+  (make-poly-from-termlist 
+   (monom-times-termlist m (poly-termlist p))
+   (+ (poly-sugar p) (monom-sugar m))))
 
 (defun term-times-poly (ring term p)
-  (declare (type ring ring))
+  (declare (type ring ring) (type poly p))
   (make-poly-from-termlist 
    (term-times-termlist ring term (poly-termlist p))
@@ -134 +136 @@
 
 (defun poly-add (ring-and-order p q)
-  (declare (type ring-and-order ring-and-order))
+  (declare (type ring-and-order ring-and-order) (type poly p q))
   (make-poly-from-termlist 
    (termlist-add ring-and-order 
@@ -141 +143 @@
    (max (poly-sugar p) (poly-sugar q))))
 
-(defun poly-sub (ring p q)
-  (make-poly-from-termlist (termlist-sub ring (poly-termlist p) (poly-termlist q)) (max (poly-sugar p) (poly-sugar q))))
+(defun poly-sub (ring-and-order p q)
+  (declare (type ring-and-order ring-and-order) (type poly p q))
+  (make-poly-from-termlist 
+   (termlist-sub ring (poly-termlist p) (poly-termlist q))
+   (max (poly-sugar p) (poly-sugar q))))
 
 (defun poly-uminus (ring p)