CoCalc -- Collaborative Calculation in the Cloud
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