sumDecompositionString(beta)
Given a symmetric bilinear form beta over a field $k$, we return a simplified diagonal form of beta.
|
|
|
Over $\mathbb{R}$ there are only two square classes and a form is determined uniquely by its rank and signature [L05, II Proposition 3.2]. A form defined by the $3\times 3$ Gram matrix M above is isomorphic to the form $\langle 1,-1,1\rangle $.
|
|
|
Over $\mathbb{F}_{q}$ forms can similarly be diagonalized. In this case as $\langle 1,-1,1,-6 \rangle$.
Citations:
The object sumDecompositionString is a method function.