getRelevantPrimes beta
It is a classical result that the Hasse-Witt invariants of a quadratic form are equal to 1 for all but finitely many primes (see e.g. [S73, IV Section 3.3]). As the Hasse-Witt invariants are computed as a product of Hilbert symbols of the pairwise entries appearing on a diagonalization of the symbol, it suffices to consider primes dividing diagonal entries.
|
|
Citations:
The object getRelevantPrimes is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/A1BrouwerDegrees/Documentation/GWInvariantsDoc.m2:83:0.