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