This github repository contains the code to reproduce the computations for the paper "Intermediate modular curves with infinitely many quartic points" by Maarten Derickx and Petar Orlić.
The code here was tested using SageMath 10.2, MDSage v0.1.0 and Magma V2.28-3.
MDSage is a sagemath package that can be installed using
sage -pip install git+https://github.com/koffie/mdsage.git@v0.1.0After having installed all dependencies the results of the article can be reproduced by running the shell script
./verify_all.shFrom the root of this repository. The results of these computations will be written to the logs directory.