CoCalc Public Filessupport / 2016-07-06-063459-relative-charpoly.sagewsOpen in with one click!
Author: William A. Stein
Description: Jupyter notebook support/2015-06-04-141749-bokeh.ipynb
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