[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. snip What i do next i set: x[0]=P(0) x[1]=P(1) x[4]=P(1) x[5]=P(0) Then my new

[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 ring with 8

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