[GAP Forum] A question on fields

[Nicola Sottocornola]

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.
>
> +++++++++++++++++++++++++++++++++++++++