In V2.29 (September 2025), in order to support more functionality for polar spaces, a category SpcPlr has been added, and one can create a polar spaces also in this category.
Builds a polar space with respect to the matrix J and the field automorphism a.
The polar space associated to the lattice L.
The polar space obtained from V by base change to R.
The field over which V is defined.
The underlying vector space.
The dimension of V.
The inner form associated to V.
The involution with respect to which V is hermitian or skew-hermitian.
The type of the polar space V, returned as a string.
The coefficients of the diagonalized form.
Whether V space is totally positive definite, or totally negative definite.