answered 7 years ago
Like that
sage: K.<a> = NumberField(x^2 - 3) sage: z=K.complex_embeddings()[1] sage: z(3*a+1) 6.19615242270663