// Magma code for working with p-adic field 163.1.9.8a1.2. // Define the p-adic field: Prec := 100; // Default precision of 100 Q163 := pAdicField(163, Prec); K := LocalField(Q163, Polynomial(Q163, [326, 0, 0, 0, 0, 0, 0, 0, 0, 1])); // Defining polynomial: DefiningPolynomial(K); // Base field Qp: Q163; // Degree over Qp: Degree(K); // Ramification index: RamificationIndex(K); // Residue field degree (Inertia degree): InertiaDegree(K); // Discriminant exponent: Valuation(Discriminant(K));