This package provides:
- A way to create and use sesquilinear and quadratic forms on finite
vector spaces.
- An operation which finds an isometry between two forms of the same type
- An operation which returns the forms left invariant by a matrix group.