Added 27 August 2015: Get the new version 2.0 of the program. Your comments are welcome. Here is a logfile showing the use of version 2.0 in classifying certain covers of the unique SRG(105,32,4,12).
This page makes available Leonard Soicher's GAP4/ GRAPE4.x program for computing fundamental groups, first homology groups, first homology groups mod a prime, and covers of finite 2-dimensional simplicial complexes. Please email L.H.Soicher@qmul.ac.uk if you download, make use of, or find a bug in this program. The algorithms on which this program is based are described in
S. Rees and L.H. Soicher, An algorithmic approach to fundamental groups and covers of combinatorial cell complexes, J. Symbolic Comp. 29 (2000), 59-77.(This paper also describes an older GAP3/GRAPE2.31 version of the program for clique complexes.)
The program is well-documented with instructions for use, but to help get you started, here is a straightforward example. We compute the fundamental group of the clique complex C of the complement of the Johnson graph J(7,2). We then compute the 1-skeleton of the universal cover of C and then verify that this 1-skeleton (called the Conway-Smith graph for 3.Sym(7)) is distance-regular.
gap> Read("fundamental.g"); Loading GRAPE 4.1 (GRaph Algorithms using PErmutation groups), by L.H.Soicher@qmul.ac.uk. gap> Cgraph:=ComplementGraph(JohnsonGraph(7,2));; gap> F:=FundamentalRecordSimplicialComplex(Cgraph);; gap> G:=F.group; # the fundamental group <fp group on the generators [ _x1 ]> gap> Size(G); 3 gap> Cgraph_cover:=CoveringGraph(Cgraph,G,F.edgeLabels,TrivialSubgroup(G));; gap> IsDistanceRegular(Cgraph_cover); true gap> GlobalParameters(Cgraph_cover); [ [ 0, 0, 10 ], [ 1, 3, 6 ], [ 2, 4, 4 ], [ 6, 3, 1 ], [ 10, 0, 0 ] ] gap> quit;
Leonard Soicher's Home Page |