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?