1Function: mftocoset
2Section: modular_forms
3C-Name: mftocoset
4Prototype: LGG
5Help: mftocoset(N,M,Lcosets): M being a matrix in SL_2(Z) and Lcosets being
6 mfcosets(N), find the right coset of G_0(N) to which M belongs. The output
7 is a pair [ga,i] such that M = ga * Lcosets[i], with ga in G_0(N).
8Doc: $M$ being a matrix in $SL_2(Z)$ and \kbd{Lcosets} being
9 \kbd{mfcosets(N)}, a list of right cosets of $\Gamma_0(N)$,
10 find the coset to which $M$ belongs. The output is a pair
11 $[\gamma,i]$ such that $M = \gamma \kbd{Lcosets}[i]$, $\gamma\in\Gamma_0(N)$.
12 \bprog
13 ? N = 4; L = mfcosets(N);
14 ? mftocoset(N, [1,1;2,3], L)
15 %2 = [[-1, 1; -4, 3], 5]
16 @eprog
17