 
 
 
 
 
 
 
  
 and
 and  we have
 
we have
 while
 while  
Computing Mordell-Weil groups is very well studied, though still there is no provably-correct algorithm for computing it. Computing torsion subgroups for modular abelian varieties is less well studied. The paper [AS05] describes some algorithms that give upper and lower bounds.
 attached to a newform
 attached to a newform 
 find an algorithm to compute
 find an algorithm to compute 
 .
.
 attached to a newform
 attached to a newform 
 find an algorithm to compute the group structure
  of
 find an algorithm to compute the group structure
  of 
 .
.