Changeset 1380

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/ideal.lisp

@@ -69 +69 @@
   (ring-intersection (reduced-grobner ring-and-order flist start top-reduction-only) k))
 
-(defun colon-ideal (ring f g &optional (top-reduction-only $poly_top_reduction_only))
+(defun colon-ideal (ring-and-order f g 
+                    &optional 
+                      (top-reduction-only $poly_top_reduction_only)
+                    &aux
+                      (ring (ro-ring ring-and-order)))
   "Returns the reduced Grobner basis of the colon ideal Id(F):Id(G),
 where F and G are two lists of polynomials. The colon ideal I:J is
 defined as the set of polynomials H such that for all polynomials W in
 J the polynomial W*H belongs to I."
+  (declare (type ring-and-order ring-and-order))
   (cond
     ((endp g)