How to get a field extension by adjoining elements

Processing math: 100%

sagelearner
61 ●1 ●4 ●8

Let $\alpha_1,\alpha_2,\ldots,\alpha_n \in \mathbb{R}$ . How to define the field extension $\mathbb{Q}(\alpha_1,\alpha_2,\ldots,\alpha_n)$ in sagemath and how to compute the degree of the extension $[\mathbb{Q}(\alpha_1,\alpha_2,\ldots,\alpha_n):\mathbb{Q}]?$

add a comment

1 Answer

Sort by » oldest newest most voted

answered 1 year ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

Here is an example:

sage: a = [I, sqrt(7), sqrt(-7)]
sage: K, a_in_K, hom = number_field_elements_from_algebraics(a, minimal=True)
sage: K
Number Field in a with defining polynomial y^4 - 3*y^2 + 4
sage: a_in_K
[-1/2*a^3 + 1/2*a, -1/2*a^3 + 5/2*a, -2*a^2 + 3]
sage: [z^2 for z in a_in_K]
[-1, 7, -7]
sage: K.degree()
4