Changeset 870 for branches/f4grobner

Timestamp:

2015-06-09T11:48:42-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monomial.lisp

@@ -121 +121 @@
   "Return the sugar of a monomial M. Optinally, a range
 of variables may be specified with arguments START and END."
-  (declare (type monom m) (fixnum start end))
   (monom-total-degree m start end))
 
 (defun monom-div (m1 m2 &aux (result (copy-structure m1)))
   "Divide monomial M1 by monomial M2."
-  (declare (type monom m1 m2))
-  (map-into (monom-exponents result) #'- (monom-exponents m1) (monom-exponents m2))
-  result)
+  (map-into result #'- m1 m2))
 
 (defun monom-mul (m1 m2  &aux (result (copy-structure m1)))
   "Multiply monomial M1 by monomial M2."
-  (declare (type monom m1 m2 result))
-  (map-into (monom-exponents result) #'+ (monom-exponents m1) (monom-exponents m2))
-  result)
+  (map-into result #'+ m1 m2))
 
 (defun monom-divides-p (m1 m2)