x_z7 := pAdicRing(7,30); x_o := TotallyRamifiedExtension(x_z7,X^5+7); x_q := Quotient(x_o,x_o.1^10); UniformizingElement(x_q);