I have a homomorphism from a number field nf
to the field of algebraic numbers QQbar
:
nf, alpha, hom = QQbar(sqrt(2)).as_number_field_element()
I now work in the polynomial ring R
over nf
:
R.<x> = nf[]
f = x - alpha; f
How do I get a homomorphism from R
to the polynomial ring over QQbar
extending hom
?
For the moment, I can use
f.map_coefficients(hom)
Same question about the fraction field of R
, e.g.,
g = f/(x+1)
Is there a more elegant way than calling
g.numerator().map_coefficients(hom)/g.denominator().map_coefficients(hom)
So basically, I'd like to extend my homomorphism hom
to the polynomial ring and its field of fractions.