Here's my attempt so far:
x = polygen(QQ, 'x');
K.<z> = NumberField(x^4+x^2+2*x+1)
G = K.galois_group(type='gap')
And now I get several pages of error messages beginning with
verbose 0 (1780: permgroup_named.py, cardinality) Warning: TransitiveGroups requires the GAP database package. Please install it with ``sage -i database_gap``.
However! - I have installed this:
install_package()
[...
'database_gap-4.7.4',
...]
Anybody got any ideas on where I can go from here?