# GAP code for the lmfdb family of higher genus curves 10.20-1.0.2-4-4-10.1
# The results are stored in a list of records called 'data'
# WARNING: The conjugacy class numbers may not be the same as those listed in lmfdb.org, as numberings in Magma and GAP may differ. If you need to connect this data to that posted on lmfdb.org, compare the variables 'passport_label' and 'gen_vector_labels'.
data:=[];
# Generate data which is the same for all entries.
gp_id:=[20,1];
signature:=[0,2,4,4,10];
genus:=10;
r:=Length(signature)-1;
g0:=signature[1];
dim:=3*g0-3+r;
# Here we add an action to data.
gen_vectors:=[[6, 7, 8, 9, 10, 1, 2, 3, 4, 5, 16, 17, 18, 19, 20, 11, 12, 13, 14, 15], [11, 15, 14, 13, 12, 16, 20, 19, 18, 17, 6, 10, 9, 8, 7, 1, 5, 4, 3, 2], [20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 5, 4, 3, 2, 1, 10, 9, 8, 7, 6], [7, 8, 9, 10, 6, 2, 3, 4, 5, 1, 17, 18, 19, 20, 16, 12, 13, 14, 15, 11]];
perm_list:= List([1..Length(gen_vectors)], x->PermList(gen_vectors[x])); S:=SymmetricGroup(gp_id[1]); G:=Subgroup(S,perm_list);
passport_label:=1;
gen_vect_label:=1;
is_hyperelliptic:=true;
hyp_involution:=PermList([6, 7, 8, 9, 10, 1, 2, 3, 4, 5, 16, 17, 18, 19, 20, 11, 12, 13, 14, 15]);
is_cyclic_trigonal:=false;
Add( data, rec( group:=G, gp_id:=gp_id, signature:=signature, gen_vectors:=perm_list,genus:=genus, dimension:=dim, r:=r, g0:=g0, passport_label:= passport_label,gen_vect_label:=gen_vect_label, is_hyperelliptic:=is_hyperelliptic, hyp_involution:=hyp_involution,is_cyclic_trigonal:=is_cyclic_trigonal) );