Some software produced by Henrik Bäärnhielm,
related to my research. For other publicly available software, see my
personal homepage.
GAP
- A package that implements the Schreier-Sims algorithm.
Magma
I have made packages for the matrix group recognition
project, mainly dealing with some exceptional group of Lie type. Any
bug reports or suggestions of any kind should be sent to me.
Necessary utility package with common code. zip, tar.gz, tar.bz2.
Twisted group
Packages dealing with twisted groups of Lie type, mainly constructive recognition and membersip testing. These are already in the standard Magma distribution.
Other packages
A package with the Prospector, a heuristic extension of the product replacement algorithm. This is already in the standard Magma distribution.
From the code of Costi, Leedham-Green and O'Brien, I assembled a
package for constructive recognition and membership testing of
classical groups in natural representation.
Under development
- An implementation of an algorithm of Kantor and Magaard, for constructive recognition and membership testing in the exceptional groups of type G2 and 3D4.
- An implementation of a method of Seitz, for constructive recognition and membership testing in the exceptional groups of type F4, E6, 2E6, E7 and E8.