Residual Paramodularity of a certain Calabi-Yau threefold

These files are companion data to the article
Neil Dummigan and Gonzalo Tornaría, Residual Paramodularity of a certain Calabi-Yau threefold, (submitted).

Citations

Please reference this data as
Neil Dummigan and Gonzalo Tornaría, Checking Residual Paramodularity http://www.cmat.edu.uy/cnt/, 2024.
[ICO]NameLast modifiedSizeDescription

[TXT]quinary_module_l.sage2024-10-08 16:47 32KCopy of package by G. Rama from Quinary OMF code repository (sagemath version)
[TXT]omf.gp2024-10-08 16:47 63KCopy of package by G. Rama from Quinary OMF code repository (pari/gp version)
[TXT]OMF79.sage2024-10-08 17:53 1.3KSage script: compute dimensions of quinary OMF in level 79 × 5²
[TXT]OMF79.sage.log2024-10-08 17:59 593 Sage output: compute dimensions to prove Lemma 2.1
[TXT]omf79.gp2024-10-08 18:25 1.3KGP script: compute dimensions of quinary OMF in level 79 × 5²
[TXT]omf79.gp.log2024-10-08 18:28 676 GP output: compute dimensions to prove Lemma 2.1
[TXT]HMF79-check.m2024-10-26 19:50 5.2KMagma script: check HMF congruences in level 79
[TXT]HMF79-check.log2024-10-27 02:41 166KOutput: check HMF congruences, trace ≤ 96
[TXT]HMF79-check-144.log2024-10-27 06:26 177KOutput: check HMF congruences, 97 ≤ trace ≤ 144