[sage-support] Re: Groebner basis, Ideal dimension and Variety

2008-10-29 Thread Marshall Hampton
I have to deal with this a lot, and I've gotten used to it but it annoys me. More support for specialization would be great. I am not that good with the guts of the polynomial ring code and singular or I would have dealt with it already. I would be happy to review patches related to this. -M.

[sage-support] Re: Groebner basis, Ideal dimension and Variety

2008-10-29 Thread vpv
Thank you very much for the quick response, Simon! On Oct 29, 5:01 pm, Simon King <[EMAIL PROTECTED]> wrote: > Hi! > > On Oct 29, 4:34 pm, vpv <[EMAIL PROTECTED]> wrote: > > > The dimension of the ideal of the groebner basis of the new system is > > 4 and not 0? Why? > > Since you are still in a

[sage-support] Re: Groebner basis, Ideal dimension and Variety

2008-10-29 Thread Simon King
Hi! On Oct 29, 4:34 pm, vpv <[EMAIL PROTECTED]> wrote: > The dimension of the ideal of the groebner basis of the new system is > 4 and not 0? Why? Since you are still in a ring with 8 (and not 4) variables. > What i do next i set: > > x[0]=P(0) > x[1]=P(1) > > x[4]=P(1) > x[5]=P(0) > > Then m