Changeset 1391

Timestamp:

2015-06-11T23:11:06-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/ideal.lisp

@@ -161 +161 @@
   (every #'(lambda (p) (grobner-member ring-and-order p g2)) g1))
 
-(defun grobner-member (ring p g)
+(defun grobner-member (ring-and-order p g)
   "Returns T if a polynomial P belongs to the ideal generated by the
 polynomial list G, which is assumed to be a Grobner basis. Returns NIL otherwise."
-  (poly-zerop (normal-form ring p g nil)))
+  (declare (type ring-and-order ring-and-order))
+  (poly-zerop (normal-form ring-and-order p g nil)))
 
 ;; Calculate F : p^inf