Bill Allombert on Sat, 07 Feb 2009 11:39:44 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Can PARI do this?

On Fri, Feb 06, 2009 at 07:34:51PM -0500, Bill Daly wrote:
> Suppose I have two algebraic numbers r and s which generate distinct 
> fields Q(r) and Q(s), with r in the form Mod(r,f(r)) for some polynomial 
> f over Q, and s in the form Mod(s,g(s)) for some distinct polynomial g 
> over Q which is coprime to f. Is there a simple way in PARI to find a 
> quantity t in the form Mod(t,h(t)) such that r and s are rational 
> functions of t and h is in Q? Will bezout() do this?

You should use polcompositum(f,g,1).