-
Notifications
You must be signed in to change notification settings - Fork 15
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
incorrect computation of ring of modular forms #438
Comments
I talked to John about this and he believes that the problem is that these degrees are still too small. I am a bit skeptical because of the reducibility. Another anomaly occurs with A third occurs for |
I ran it again with the bounds (3000,40,80) and got something that is at least plausible (as in, it's an irreducible surface), and looking at what I had before I see equations like I'll keep trying to figure out what's going on with the other two, but it's perfectly plausible that the only problems are my lack of understanding and that the default bounds are too small in some cases. |
The code appears to give an incorrect answer when asked to compute the ring of Hilbert modular forms of level$(3)$ over ${\mathbb Q}(\sqrt 5)$ . After attaching the spec I did:
However, the sanity check failed (the two Hilbert series are different as of degree 40) and the ring computed is not integral. The scheme defined by the equations has two components, one of dimension 1 and one of dimension 0.
The default method gives precision 640, generator bound 20, and relation bound 40. Assuming that the problem has to do with missing generators or relations or insufficient precision, I reran
HilbertModularVariety
with larger values (1500, 30, 60), but with the same result.The text was updated successfully, but these errors were encountered: