Computing Galois group of a polynomial?
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?
It woks for me (with Sage 6.4.beta3 and database_gap-4.7.5), i got : Galois group Transitive group number 3 of degree 4 of the Number Field in z with defining polynomial x^4 + x^2 + 2*x + 1 What is your configuration ?