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}]?$
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
See number_field_elements_from_algebraics. In general the elements of a can be taken from AA or QQbar.
Thanks for your help. What if the base field is something other than $\mathbb{Q}$?
Asked: 2023-04-20 13:49:29 +0100
Seen: 285 times
Last updated: Apr 20 '23
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
