# SageMath code for working with p-adic field 179.6.2.6a1.2. # Define the p-adic field: Prec = 100 # Default precision of 100 Q179 = Qp(179, Prec); x = polygen(QQ) L. = Q179.extension(x^6 + 7*x^4 + 91*x^3 + 55*x^2 + 109*x + 2) K. = L.extension(x^2 + 179) # Defining polynomial: K.defining_polynomial() # Base field Qp: K.base() # Degree over Qp: K.absolute_degree() # Ramification index: K.absolute_e() # Residue field degree (Inertia degree): K.absolute_f() # Maximal unramified subextension: K.maximal_unramified_subextension() # Roots of unity: len(K.roots_of_unity())