Changeset 1890

Timestamp:

2015-06-15T17:47:06-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (8 diffs)

branches/f4grobner/monom.lisp

@@ -112 +112 @@
 
 (defun monom-dimension (m)
+  (declare (type monom m))
   (length m))
 
@@ -119 +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."
@@ -124 +126 @@
 
 (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."
@@ -129 +132 @@
 
 (defun monom-div (m1 m2 &aux (result (copy-seq m1)))
+  (declare (type monom m1 m2 result)
   "Divide monomial M1 by monomial M2."
   (map-into result #'- m1 m2))
@@ -134 +138 @@
 (defun monom-mul (m1 m2  &aux (result (copy-seq m1)))
   "Multiply monomial M1 by monomial M2."
+  (declare (type monom m1 m2 result)
   (map-into result #'+ m1 m2))
 
 (defun monom-divides-p (m1 m2)
   "Returns T if monomial M1 divides monomial M2, NIL otherwise."
+  (declare (type monom m1 m2))
   (every #'<= m1 m2))
 
 (defun monom-divides-monom-lcm-p (m1 m2 m3)
   "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise."
+  (declare (type monom m1 m2 m3))
   (every #'(lambda (x y z) (<= x (max y z))) 
          m1 m2 m3))
@@ -147 +154 @@
 (defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4)
   "Returns T if monomial MONOM-LCM(M1,M2) divides MONOM-LCM(M3,M4), NIL otherwise."
+  (declare (type monom m1 m2 m3 m4))
   (every #'(lambda (x y z w) (<= (max x y) (max z w))) 
          m1 m2 m3 m4))
@@ -153 +161 @@
 (defun monom-lcm-equal-monom-lcm-p (m1 m2 m3 m4)
   "Returns T if monomial MONOM-LCM(M1,M2) equals MONOM-LCM(M3,M4), NIL otherwise."
+  (declare (type monom m1 m2 m3 m4))
   (every #'(lambda (x y z w) (= (max x y) (max z w)))
          m1 m2 m3 m4))
@@ -159 +168 @@
 (defun monom-divisible-by-p (m1 m2)
   "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
+  (declare (type monom m1 m2))
   (every #'>= m1 m2))
 
 (defun monom-rel-prime-p (m1 m2)
   "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
+  (declare (type monom m1 m2))
   (every #'(lambda (x y) (zerop (min x y))) m1 m2))
 
 (defun monom-equal-p (m1 m2)
   "Returns T if two monomials M1 and M2 are equal."
+  (declare (type monom m1 m2))
   (every #'= m1 m2))
 
 (defun monom-lcm (m1 m2 &aux (result (copy-seq m1)))
   "Returns least common multiple of monomials M1 and M2."
+  (declare (type monom m1 m2 result))
   (map-into result #'max m1 m2))
 
 (defun monom-gcd (m1 m2 &aux (result (copy-seq m1)))
   "Returns greatest common divisor of monomials M1 and M2."
+  (declare (type monom m1 m2 result))
   (map-into result #'min m1 m2))
 
 (defun monom-depends-p (m k)
   "Return T if the monomial M depends on variable number K."
+  (declare (type monom m) (type fixnum k))
   (plusp (monom-elt m k)))