Magma code used in the paper
Splitting of primes in number fields generated by points on some modular curves
by Filip Najman and Antonela Trbović

Code for Theorem 2.1: