Revision history [back]
 | 1 | initial version |
Alternatively, you can do:
sage: number_field_elements_from_algebraics([QQbar(2).sqrt(), QQbar(3).sqrt()],minimal=True, same_field=True)
(Number Field in a with defining polynomial y^4 - 4*y^2 + 1,
[-a^3 + 3*a, -a^2 + 2],
Ring morphism:
From: Number Field in a with defining polynomial y^4 - 4*y^2 + 1
To: Algebraic Field
Defn: a |--> 0.5176380902050415?)
