x_q3 := pAdicField(3,32); x_r := UnramifiedExtension(x_q3,X^2+1); pAdicField(x_r);