>
> Questions:
>
> Do Qp(7) and pAdicField(7) do the same thing?
>
Yes, I think so. They also accept arguments to set things like default
precision for that ring.
> K[x] and K['x'] seem to do the same thing as well. Is that right?
>
Yes, they do. `x` is predefined as a symbolic variable. `K
Thanks to both Vincent and Nils!
Sage seems to include lots of ways to do things... Let me see if I
understand. Vincent suggested
R = PolynomialRing(Qp(7), 'x')
x = R.gen()
p = x^2 - 2
pari.padicappr(p, 4 + O(7^10))
Which works, but relies on using the built-in pari support; on the cell
serv