Changeset 728

Timestamp:

2015-06-08T20:34:37-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monomial.lisp

@@ -102 +102 @@
 of variables may be specified with arguments START and END."
   (declare (type monom m) (fixnum start end))
-  (reduce #'+ m :start start :end end))
+  (reduce #'+ (monom-exponents m) :start start :end end))
 
 (defun monom-sugar (m &aux (start 0) (end (length m)))
@@ -108 +108 @@
 of variables may be specified with arguments START and END."
   (declare (type monom m) (fixnum start end))
-  (monom-total-degree m start end))
+  (monom-total-degree (monom-exponents m) start end))
 
-(defun monom-div (m1 m2 &aux (result (copy-seq m1)))
+(defun monom-div (m1 m2 &aux (result (copy-seq (monom-exponents m1))))
   "Divide monomial M1 by monomial M2."
-  (declare (type monom m1 m2 result))
-  (map-into result #'- m1 m2))
+  (declare (type monom m1 m2))
+  (map-into result #'- m1 m2)
+  (make-monom (monom-dimension result)))
 
 (defun monom-mul (m1 m2  &aux (result (copy-seq m1)))