Changeset 1900 for branches/f4grobner

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/term.lisp

@@ -56 +56 @@
 Optionally, the term may appear with an arbitrary coefficient, which
 defaults to the unit of the RING."
+  (declare (type ring ring) (fixnum nvars pos))
   (make-term :monom (make-monom-variable nvars pos power) :coeff coeff))
 
@@ -62 +63 @@
 or NIL when the product is 0. This definition takes care of divisors of 0
 in the coefficient ring."
+  (declare (type ring ring) (type term term1 term2))
   (let ((c (funcall (ring-mul ring) (term-coeff term1) (term-coeff term2))))
     (unless (funcall (ring-zerop ring) c)