One of my side projects is to develop packages for the computer algebra software GAP.
is a package, developed by me and Jan De Beule. It can be used for work with sesquilinear and quadratic forms, objects that are used to describe polar spaces and classical groups. The package also deals with the recognition of certain matrix groups preserving a sesquilinear or quadratic form. The main features of forms are its facility with creating sesquilinear and quadratic forms via matrices and polynomials, and in changing forms (creation of isometries).
is a package that provides users with the basic tools to work in various areas of finite incidence geometry, from the realms of projective spaces to the flat lands of generalised polygons. It uses the algebraic power of GAP, particularly its implementation of matrix and permutation groups. If you would like to try the package, don’t hesitate to contact me, or any other member of the development team.