getWittIndex beta
By the Witt Decomposition Theorem, any non-degenerate form decomposes uniquely as $\beta \cong n \mathbb{H} \oplus \beta_a$ where the form $\beta_a$ is anisotropic. The integer $n$ is called the Witt index of $\beta$. See for instance [L05, I.4.3].
Citations:
The object getWittIndex is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/A1BrouwerDegrees/Documentation/AnisotropicDimensionDoc.m2:55:0.