This package can be used for work with sesquilinear and quadratic
forms on finite vector spaces; objects that are used to describe
polar spaces and classical groups. It 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.
Provides
Requires
License
GPL-2.0-or-later
Changelog
* Mon Jan 26 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.14
* Preparation for a change in a future GAP version where GAP will
enhance `InvariantQuadraticForm`, `InvariantBilinearForm` and
`InvariantSesquilinearForm` to also provide the field of
definition.
* Tue May 06 2025 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.13
* Fixed a bug in BaseChangeToCanonical in dimension 1 where an
error could be thrown.
* Tue Sep 03 2024 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.12
* Part of the recognition functionality has been updated and
corrected.
* Thu Apr 11 2024 Jan Engelhardt <jengelh@inai.de>
- Update to rele