Sharedsupport / 2015-11-19-cuspidal-subgroup-modular-jacobian.sagewsOpen in CoCalc
Examples for support purposes...
J = J0(45)
J
Abelian variety J0(45) of dimension 3
C = J.cuspidal_subgroup()
C
Finite subgroup with invariants [2, 4, 8, 8] over QQ of Abelian variety J0(45) of dimension 3
J.rational_cuspidal_subgroup()
Finite subgroup with invariants [2, 4, 8] over QQ of Abelian variety J0(45) of dimension 3