Re: [sage-support] Re: Groebner basis Question

2010-12-01 Thread Santanu Sarkar
Thank you very much. On 2 December 2010 07:34, Marshall Hampton wrote: > R. = PolynomialRing(QQ,9) > ideal = R.ideal([u-d_p*d_q,v-d_p-d_q,w-d_q*k-d_p*l,x-k-l,y-k*l]) > list(ideal.elimination_ideal([d_p,d_q,k,l]).gens()) > > [x^2*u + y*v^2 - x*v*w - 4*y*u + w^2] > > -M. Hampton > > On Dec 1, 8:04

[sage-support] Re: Groebner basis Question

2010-12-01 Thread Marshall Hampton
R. = PolynomialRing(QQ,9) ideal = R.ideal([u-d_p*d_q,v-d_p-d_q,w-d_q*k-d_p*l,x-k-l,y-k*l]) list(ideal.elimination_ideal([d_p,d_q,k,l]).gens()) [x^2*u + y*v^2 - x*v*w - 4*y*u + w^2] -M. Hampton On Dec 1, 8:04 am, Santanu Sarkar wrote: > Suppose, > u=d_p*d_q > v=d_p+d_q > w=d_q*k+d_p*l > x=k+l >

[sage-support] Re: Groebner Basis question

2009-04-01 Thread Martin Albrecht
> Martin, since this is a frequently asked question, do you think > something about this > should be added to the groebner_basis docstring? The groebner_basis > docstring is > 3 pages right now, so this shouldn't be too far down there. Thanks > for such extensive > documentation for that comman

[sage-support] Re: Groebner Basis question

2009-03-31 Thread Florian
Thanks guys! On Mar 31, 9:54 am, Martin Albrecht wrote: > On Tuesday 31 March 2009, Florian wrote: > > > Hello everyone, > > > I've been trying to figure out whether the following functionality is > > implemented, but so far I could not. I was hoping that anyone would > > know if it existed and

[sage-support] Re: Groebner Basis question

2009-03-31 Thread William Stein
2009/3/31 Martin Albrecht : > > On Tuesday 31 March 2009, Florian wrote: >> Hello everyone, >> >> I've been trying to figure out whether the following functionality is >> implemented, but so far I could not. I was hoping that anyone would >> know if it existed and in that case what the syntax is.

[sage-support] Re: Groebner Basis question

2009-03-31 Thread Martin Albrecht
On Tuesday 31 March 2009, Florian wrote: > Hello everyone, > > I've been trying to figure out whether the following functionality is > implemented, but so far I could not. I was hoping that anyone would > know if it existed and in that case what the syntax is. > > Suppose you computed the reduced