getSumDecompositionString 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 the above case as $\langle 1,-1,1,-6 \rangle$.
Citations:
The object getSumDecompositionString is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/A1BrouwerDegrees/Documentation/DecompositionDoc.m2:62:0.