[sage-support] Re: elements of a field extensions

2015-06-11 Thread black64x64
Thank u very much, this was exactly what I was looking for. Really helped me. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@google

[sage-support] Re: elements of a field extensions

2015-06-10 Thread 'luisfe' via sage-support
On Tuesday, June 9, 2015 at 5:36:01 PM UTC+2, black...@gmx.de wrote: > > Thank you, > > and i already tried this. In this case it obiously does work but in case i > have denominators, can u explain me how to solve it? > for example: K(s/(s+t),s^2*t^2) then i have to calculate the elimination >

[sage-support] Re: elements of a field extensions

2015-06-09 Thread black64x64
Thank you, and i already tried this. In this case it obiously does work but in case i have denominators, can u explain me how to solve it? for example: K(s/(s+t),s^2*t^2) then i have to calculate the elimination ideal of ((a0-s,a1-s^2t^2):(s+t)^\inf) where (I:J^\inf) is the saturation of I wit

[sage-support] Re: elements of a field extensions

2015-06-09 Thread 'luisfe' via sage-support
Have you tried using elimination ideals? K=QQ['s,t,a0,a1,a2'] K.inject_variables() I = Ideal( a0-s^2, a1-t^2, a2 - (s^2+t^2)) I.elimination_ideal([s,t]) Ideal (a0 + a1 - a2) of Multivariate Polynomial Ring in s, t, a0, a1, a2 over Rational Field So a2 = a0 + a1 The elimination ideal tells you wh