Torsion-Free Vertex-Regular Lattices of I55

This dataset contains the following: 1) A full list of the scaffolded presentations of the torsion-free vertex-regular lattices of Bourdon's building I55, classified up to isomorphism. 2) The source code for the programs used to construct these presentations in the software GAP 4. 3) The source code for the programs used to classify these presentations in the software GAP 4. 4) The source code for the program needed to convert these presentations to the corresponding finitely presented groups in the software GAP 4.