FinInG is a GAP package for computation in Finite Incidence Geometry developed by
John Bamberg, Anton Betten, Philippe Cara, Jan De Beule, Michel Lavrauw and Max Neunhoeffer.
The package provides basic tools to work in various areas of finite geometry from the realms of
projective spaces to the flat lands of generalised polygons. FinInG relies on the algebraic
power of GAP and some of its packages, in particular on the
functionality with matrix and permutation groups.
FinInG provides the basic functionality for the following objects.
- Projective and affine spaces: the construction of projective spaces and their subspaces, collineation groups, correlations, dualities, polarities, subgeometries and field reduction.
- Clasical polar spaces: the construction of polar spaces and their elements, collineation groups (similarities, isometries, etc), natural embeddings, isomorphisms and field reduction.
- Generalised polygons: constructions of certain types of generalised polygons (EGQ's, Split Cayley hexagon, twisted-triality hexagon), operations on generalised polygons.
- Diagram geometry: coset geometries, diagrams of incidence geometries, basic operations and tests (for flag-transitivity, firmness, etc).
- Projective varieties: general projective and affine varieties, including Grassmanians, Segre varieties, and Veronese varieties.
FinInG depends on the following GAP packages: forms 1.2.2,
GAPDoc 1.5.1, orb 4.6, GRAPE 4.6.1, IO 4.2, GenSS 1.5,
Please read carefully the included INSTALL
Documentation is available as [html] or [pdf].
Bugs, questions and issues?
Please use the FinInG issue tracker.
The FinInG package is available for download under terms and conditions of the GNU Public License Version 2 or higher.
To download the FinInG package it is required to provide a valid email address, to which a single use download link will be sent.
Your e-mail address will not be shared with a third party, nor will it be sold or used for other purposes than occasional contact with our user base.