Macaulay2 » Documentation
Packages » A1BrouwerDegrees :: anisotropicDimension
next | previous | forward | backward | up | index | toc

anisotropicDimension -- returns the anisotropic dimension of a symmetric bilinear form



By Witt decomposition, any form decomposes uniquely as $\beta \cong k \mathbb{H} \oplus \beta_a$ where the form $\beta_a$ is anisotropic. The rank of $\beta_a$ is called the anisotropic dimension of $\beta$.

The anisotropic dimension of a form defined over the rationals is the maximum of the anistropic dimension at each of the completions of $\mathbb{Q}$.

See also

Ways to use anisotropicDimension :

For the programmer

The object anisotropicDimension is a method function.