sage:Prec = 100 # Default precision of 100
Q2 = Qp(2, Prec); x = polygen(QQ)
K.<a> = Q2.extension(x^18 + 2*x^17 + 2*x^13 + 2*x^11 + 4*x + 2)
magma:Prec := 100; // Default precision of 100
Q2 := pAdicField(2, Prec);
K := LocalField(Q2, Polynomial(Q2, [2, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 2, 1]));
\(x^{18} + 2 x^{17} + 2 x^{13} + 2 x^{11} + 4 x + 2\)
|
sage:K.defining_polynomial()
magma:DefiningPolynomial(K);
Fields in the database are given up to isomorphism. Isomorphic
intermediate fields are shown with their multiplicities.
| Galois degree: |
$6912$
|
| Galois group: |
$C_2^6:C_{18}:C_6$ (as 18T512)
|
| Inertia group: |
$C_2^6:C_{18}$ (as 18T264)
|
| Wild inertia group: |
$C_2^7$
|
| Galois unramified degree: |
$6$
|
| Galois tame degree: |
$9$
|
| Galois Artin slopes: |
$[2, \frac{20}{9}, \frac{20}{9}, \frac{20}{9}, \frac{20}{9}, \frac{20}{9}, \frac{20}{9}]$
|
| Galois Swan slopes: |
$[1,\frac{11}{9},\frac{11}{9},\frac{11}{9},\frac{11}{9},\frac{11}{9},\frac{11}{9}]$
|
| Galois mean slope: |
$2.2100694444444446$
|
| Galois splitting model: |
$x^{18} - 41 x^{16} + 898 x^{14} - 8134 x^{12} + 47824 x^{10} - 187068 x^{8} + 287770 x^{6} - 263742 x^{4} + 106803 x^{2} - 45387$
|