Magma V2.21-11 Wed Aug 17 2016 17:41:47 on babbage [Seed = 1038004588] +-------------------------------------------------------------------+ | 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 -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(5) gonality of X_1(4,12) is greater than 3"; Proving that the GF(5) gonality of X_1(4,12) is greater than 3 > C := X_1_m_n(4,12,GF(5)); > 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: 1.490 true 4 > %P; load "assorted_functions.m"; load "gonality.m"; load "X_1_m_n.m"; print "Proving that the GF(5) gonality of X_1(4,12) is greater than 3"; C := X_1_m_n(4,12,GF(5)); time tf,g:=Gonality_lowerbound(C,4 : verbose := true);print tf,g; >