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

getAnisotropicDimensionQQp -- returns the anisotropic dimension of a rational symmetric bilinear form over the p-adic rational numbers

Description

This is an implementation of [KC18, Algorithm 8], which computes the anisotropic dimension of rational forms over the $p$-adic rational numbers. Note that any form of rank $\ge 5$ is isotropic, so this method will always return 0, 1, 2, 3, or 4.

Citations:

See also

Ways to use getAnisotropicDimensionQQp:

  • getAnisotropicDimensionQQp(GrothendieckWittClass,ZZ)

For the programmer

The object getAnisotropicDimensionQQp 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:19:0.