FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is employed, particularly in its facility with matrix and permutation groups.
Chapter 2 describes the installation of the package. Chapter 3 contains some extended examples to introduce the user to the basic functionality and philosophy to get started. Chapter 4 contains a rigorous discription of the basic structures. This chapter can be omitted at first reading, since the set of consequent chapters is also self contained. Chapters 5, 6 and 7 deal with projective spaces, projective semilinear groups and polarities of projective spaces, respectively. In Chapter 8 the functionality for classical polar spaces is treated and in Chapter 10 affine spaces and their groups are considered. Geometry morphisms between various geometries that are available in the package, are introduced and discussed in Chapter 11. The final three chapters, 12, 13, and 14 explain the basic functionality which is provided for algebraic varieties (in projective or affine spaces), generalised polygons, of which several models can be constructed, and finally coset geometries and diagrams.
This is the development team (without Anton), meeting in St. Andrews in september 2008, from left to right: Philippe Cara, Michel Lavrauw, Max Neunhöffer, Jan De Beule and John Bamberg .
The development team meeting again (without Anton and Max), now in Vicenza in april 2011. from left to right: Michel Lavrauw, John Bamberg, Philippe Cara, Jan De Beule.
Survivors of the first version of FinInG, enjoying a trip to Chioggia, december 2011.
The same survivors, staring at the destiny.
generated by GAPDoc2HTML