Sharedsupport / 2016-07-06-063459-relative-charpoly.sagewsOpen in CoCalc
Author: William A. Stein
License: GNU General Public License v3.0
Description: Examples for support purposes.
K.<a> = NumberField(x^2+1)
R.<y> = K[] L.<b> = K.extension(y^2 + 2*a*y + 1) L
Number Field in b with defining polynomial y^2 + 2*a*y + 1 over its base field
b.charpoly()
x^2 + 2*a*x + 1