Changeset 1896

Timestamp:

2015-06-15T17:51:35-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -120 +120 @@
 
 (defun monom-total-degree (m &optional (start 0) (end (monom-dimension m)))
-  (declare (type monom m) (type fixnum start end))
   "Return the todal degree of a monomoal M. Optinally, a range
 of variables may be specified with arguments START and END."
+  (declare (type monom m) (type fixnum start end))
   (reduce #'+ m :start start :end end))
 
 (defun monom-sugar (m &aux (start 0) (end (monom-dimension m)))
-  (declare (type monom m) (type fixnum start end))
   "Return the sugar of a monomial M. Optinally, a range
 of variables may be specified with arguments START and END."
+  (declare (type monom m) (type fixnum start end))
   (monom-total-degree m start end))
 
 (defun monom-div (m1 m2 &aux (result (copy-seq m1)))
+  "Divide monomial M1 by monomial M2."
   (declare (type monom m1 m2 result)
-  "Divide monomial M1 by monomial M2."
   (map-into result #'- m1 m2))