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 A1BrouwerDegrees/Documentation/GWInvariantsDoc.m2:83:0.