Hensel-lifting torsion points
If p - ` is a prime of good reduction of C, the reduction map
J(Zq)[`] // // J(Fq)[`]
is étale, so we can lift `-torsion points.
W2 = piclifttors(J2,W,13);
picmember(J2,W2)
picistorsion(J2,W2,13)
piciszero(J2,W2)
piceq(J2,picmul(J2,W2,9),picfrob(J2,W2))
Nicolas Mascot p-adic computation of Galois representations