search

assaferan / ModFrmGL2

Extending magma's implementation of modular symbols to arbitrary congruence subgroups
2 stars 6 forks source link

GammaNSplus(49) #3

Closed jvoight closed 4 months ago

jvoight commented 4 years ago

Should this work?

> GammaNSplus(49);

GammaNSplus(
    N: 49
)
GammaNS(
    N: 49
)
In file "/Users/jvoight/Dropbox (John Voight)/github/ModFrmGL2/ModFrmGL2/GrpPSL\
2/GrpPSL2/creation.m", line 285, column 22:
>>        return GammaNS(N, x^2 - u);
                        ^
Runtime error in 'GammaNS': N for which ZZ[alpha] is not a maximal order 
                         are not supported at the moment
jvoight commented 4 years ago

It seems to work OK with 

> GammaNSplus(49, 3);
assaferan commented 4 years ago

Oh, I remember that - at the time there was some issue with implementing the order in magma. There was some problem when it is not maximal, that for some reason magma couldn’t do. I will look into it, but am more concerned at the moment with the q-expansions. This boils down to the linear algebra we were talking about in the beginning of the year (matching the constants between eigenvectors and eigenforms). For some reason, it takes me a long while to get it to work - meanwhile I only got it to work on some small examples.

If you really need this one, even though the q-expansions are wrong, I can probably fix it first and then go back to the above, so let me know.

On Jul 15, 2020, at 7:50 PM, John Voight notifications@github.com wrote:

Should this work?

GammaNSplus(49);

GammaNSplus( N: 49 ) GammaNS( N: 49 ) In file "/Users/jvoight/Dropbox (John Voight)/github/ModFrmGL2/ModFrmGL2/GrpPSL\ 2/GrpPSL2/creation.m", line 285, column 22:

   return GammaNS(N, x^2 - u);

^ Runtime error in 'GammaNS': N for which ZZ[alpha] is not a maximal order are not supported at the moment — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/assaferan/ModFrmGL2/issues/3, or unsubscribe https://github.com/notifications/unsubscribe-auth/ANLEY644YCDX3HSISDF76DLR3Y6FPANCNFSM4O3FOUSA.

jvoight commented 4 years ago

No, this isn't a priority--I agree it's more important to sort out what's happening with q-expansions.

assaferan commented 2 years ago

This works now.

assaferan commented 4 months ago

This should have been resolved two years ago, but hopefully also now in PR #23