Changeset 4554 for branches/f4grobner

Timestamp:

2016-07-04T10:58:24-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/grobner.demo (modified) (1 diff)

branches/f4grobner/grobner.demo

@@ -147 +147 @@
 poly_ideal_polysaturation([x^4-y^4], [[x-y],[x^2+y^2, x+y]],[x,y]);
 
-/* POLY_COLON_IDEAL finds the reduced Grobner basis of the colon ideal I:J, i.e. the set of polynomials h
-   such that there is a polynomial F in J for which H*F is in I */
+/* POLY_COLON_IDEAL finds the reduced Grobner basis of the colon ideal I:J, i.e. the set of polynomials H
+   such that for every polynomial G in I there is a polynomial F in J for which H*F=G; 
+   in other words, I:J = {h: h*J is contained in I} */
 
 poly_colon_ideal([x^2*y],[y],[x,y]);