Mathematical Areas
Geometry
Magma supports convex polytopes, polyhedral fans, projective and affine geometries, and classical incidence structures. Algorithms compute faces, volumes, lattice points, and automorphism groups.
Type ? for help. Type <Ctrl>-D to quit.
Contributors
Algorithms for testing whether two convex polytopes embedded in a lattice are isomorphic or equivalent have been implemented by Alexander Kasprzyk (Imperial College). Of particular note is Al's implementation of the PALP normal form algorithm.
The Magma code for computing with incidence geometries has been developed by Dimitri Leemans (Brussels).
Dimitri Leemans (Auckland) contributed code for working with string C-groups and C+-groups in 2016.