// Magma code for the lmfdb family of higher genus curves 13.4-2.0.2-2-2-2-2-2-2-2-2-2-2-2-2-2-2-2.30 // The results are stored in a list of records called 'data' RecFormat:=recformat; data:=[]; // Create group as a permutation group, and generate data which is the same for all entries. gp_id:=[4,2]; H:=SmallGroup(gp_id[1],gp_id[2]); n:=#H; LP:=[]; LG:=[g : g in H]; for i in [1..n] do x:=LG[i]; Tx:=[LG[j]*x : j in [1..n]]; permL:=[]; for j in [1..n] do for k in [1..n] do if Tx[j] eq LG[k] then permL[j]:=k; break; end if; end for; end for; Append(~LP,permL); end for; G:=PermutationGroup; signature:=[0,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2]; genus:=13; r:=#signature-1; g0:=signature[1]; dim:=3*g0-3+r; S:=Sym(gp_id[1]); // Here we add an action to data. gen_vectors:=[[2, 1, 4, 3], [2, 1, 4, 3], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [3, 4, 1, 2], [4, 3, 2, 1], [4, 3, 2, 1], [4, 3, 2, 1], [4, 3, 2, 1]]; cc:=[2,2,3,3,3,3,3,3,3,3,3,3,4,4,4,4]; gen_vectors_as_perm:=[S!perm : perm in gen_vectors]; passport_label:=30; gen_vect_label:=1; is_hyperelliptic:=false; is_cyclic_trigonal:=false; Append(~data, rec);