Hi,
thank you for your answer. I don't know what a Groebner basis is so I
can't understand your idea. I just tested it with an example:
let F = Ideal(xyz, yz) and G = Ideal(xyz, yz, x).
I have found that the GB of F is {zy} and the GB of G is {zy,x}. The
basis are different but x is in the field generated by xyz and yz (?)
Maybe I made a misteke in computing the basis...
Nicola
On 07/nov/06, at 04:37, David Joyner wrote:
I wonder if the following idea might work:
You could create the ideal I generated by x-y,x+y.
Now create the ideal J generated by x-y,x+y,p
Compute the Grobner bases of I,J and compare them.
If the GB of I equals the GB of J then p is in F.
+++++++++++++++++++++++++++++++++++++++
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
