https://github.com/koffie/mdmagma
Tip revision: f69d0e06f67b9ac6f57e7d8e6ba3b3d69e650352 authored by Maarten Derickx on 02 November 2020, 22:43:35 UTC
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Tip revision: f69d0e0
d6m6n2.txt
derickx@babbage:~/mdmagma$ magma
Magma V2.21-11 Wed Aug 17 2016 17:48:14 on babbage [Seed = 2507544641]
+-------------------------------------------------------------------+
| This copy of Magma has been made available through a |
| generous initiative of the |
| |
| Simons Foundation |
| |
| covering U.S. Colleges, Universities, Nonprofit Research entities,|
| and their students, faculty, and staff |
+-------------------------------------------------------------------+
Type ? for help. Type <Ctrl>-D to quit.
> load "assorted_functions.m";
Loading "assorted_functions.m"
> load "gonality.m";
Loading "gonality.m"
> load "X_1_m_n.m";
Loading "X_1_m_n.m"
>
> print "Proving that the GF(7) gonality of X_1(6,12) is greater than 3";
Proving that the GF(7) gonality of X_1(6,12) is greater than 3
> C := X_1_m_n(6,12,GF(7));
> time tf,g:=Gonality_lowerbound(C,4 : verbose := true);print tf,g;
Checking divisors of degree: 1
Checking divisors of degree: 2
Checking divisors of degree: 3
Time: 15.100
true 4
> %P;
load "assorted_functions.m";
load "gonality.m";
load "X_1_m_n.m";
print "Proving that the GF(7) gonality of X_1(6,12) is greater than 3";
C := X_1_m_n(6,12,GF(7));
time tf,g:=Gonality_lowerbound(C,4 : verbose := true);print tf,g;
>