Re: Can PARI do this?

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

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

Cheers,
Bill.