grading-notes.sagews

K

[Rational Field, Number Field in a1 with defining polynomial t0^3 - 3*t0 + 1, Number Field in a2 with defining polynomial t1^3 - 3*t1 + a1 over its base field]

K[-1].absolute_field('a').defining_polynomial().galois_group()

Transitive group number 1 of degree 9

K[-1].absolute_field('a').discriminant().factor()

3^22