relevantPrimes(beta)
It is a classical result that the HasseWitt 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 HasseWitt 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 relevantPrimes is a method function.