Truncated p-adics
Instead of working over Fq = Fp[t]/T(t) = Z[t]/(T(t), p)
where T(t) is irreducible mod p, we can work over
Zq/pe
= Z[t]/(T(t), pe
)
for any e ∈ N.
J2 = picsetprec(J,21); \\ Now mod 29^e, e=21
Y = picrand(J2)
picmul(J2,Y,-3)
picmember(J2,W)
picmemberval(J2,W)
picmemberval(J2,Y)
Nicolas Mascot p-adic computation of Galois representations