Example 2
Let
f = ∆ = q − 24q2
+ 252q3
+ O(q4
) ∈ S12 Γ1(1)


and
l = 17.
We catch ρf ,l in the 17-torsion of the Jacobian of X1(17)
(genus 5).
f = mfDelta();
R = mfgalrep(f,17,100,200)
F = polredbest(projgalrep(R)[1])
factor(nfdisc(F))
Nicolas Mascot p-adic computation of Galois representations