Victor, eclib provides some (at least) of what you need, and is partly
wrapped in Sage. Chris Wuthrich and I have been working on this
recently. For example, eclib contains a program which does the
following (this is just a simple interface to underlying
functionality):
Enter curve: [0,-1,1,0,0]
Victor,
First of all I invite you to join sage-nt, the sage number theory
group!
Secondly...
On Dec 21, 5:37 pm, victor wrote:
> Let m be a modular symbol for the congruence subgroup G=Gamma0(N) for
> some N.
>
> If one assumes m is cuspidal, there exist elements g in G such that m
> is equival
I wrote the following function, which does the job. Function below
takes as input a positive integer N and outputs two objects: the first
output is a list [g_i] of hyperbolic elements in Gamma0(N) which
generate the abelianized (Gamma0(N)_hyp)_ab of the quotient
Gamma0(N)_hyp of Gamma0(N) by the su
