FinInG

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.

Features

• 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.

Requirements

Documentation

Bugs, questions and issues?

Download