Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Substituting a complex embedding for a number field element

Is there a way to take an element of a number field (or a polynomial or a number field) and replace the generator of the field by one of its complex embeddings? For example, something like

sage: K.<a> = NumberField(x^2 - 3)
sage: (3*a + 5).substitute(a=a.complex_embeddings()[1])

It's feasible to do this with sage_eval, but hopefully there is a better way.