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