# SageMath code for working with p-adic field 2.1.16.74a1.19.


# Define the p-adic field: 
Prec = 100  # Default precision of 100
Q2 = Qp(2, Prec); x = polygen(QQ)
K.<a> = Q2.extension(x^16 + 16*x^15 + 16*x^13 + 20*x^12 + 16*x^11 + 16*x^10 + 8*x^8 + 16*x^6 + 8*x^4 + 32*x^3 + 16*x^2 + 2)

# 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())