[sage-support] Re: Dealing with algebraic elements and rational functions

2009-03-22 Thread Alex Raichev
Hey Mike and Luis: > > (5) Factorize polynomials in Q[x,y,z,t,a] extracted from > > numerators/denominatos of rational functions. > > We can do this via Maxima.  First we convert f to Maxima and call the > factor command passing in the defining polynomial for the number > field.  Then we extract

[sage-support] Re: Dealing with algebraic elements and rational functions

2009-03-22 Thread luisfe
On 20 mar, 14:07, Mike Hansen wrote: > The best way to work with this object is to do like you did: > > sage: K.=NumberField(x^4+x+1) > sage: R.=K['x,y,z,t'] > > Then, we can construct some elements of this field: > > sage: f = (a^2*x + y)*(z+a*t); f > (a^2)*x*z + y*z + (a^3)*x*t + (a)*y*t > sa

[sage-support] Re: Dealing with algebraic elements and rational functions

2009-03-20 Thread Mike Hansen
Hello, On Mar 20, 4:18 am, luisfe wrote: > Hi all, > Mathematically, I have the following field: > Q(x,y,z,t,a) > > Where x,y,z,t are indeterminates and "a" is an algebraic number over > the > rationals (lets say degree 4). > > If I have some elements, let say f,g,h in this field I would like to