Changeset 1384

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/ideal.lisp

@@ -103 +103 @@
   "Returns the reduced Grobner basis of the colon ideal Id(F):Id({G}), where
 F is a list of polynomials and G is a polynomial."
-  (mapcar #'(lambda (x) (poly-exact-divide ring x g)) (ideal-intersection ring f (list g) top-reduction-only)))
-
+  (mapcar #'(lambda (x) 
+              (poly-exact-divide ring-and-order x g)) 
+          (ideal-intersection ring-and-order f (list g) top-reduction-only)))
 
 (defun ideal-intersection (ring-and-order f g &optional (top-reduction-only $poly_top_reduction_only))