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