Diagonalize a form over the rationals to
![diag[p^a·A,p^b·B,...],](/images/equations/p-Signature/NumberedEquation1.svg) |
where all the entries are integers and 
, 
, ... are relatively
prime to 
. Then the 
-signature of the form (for 
) is
 |
where 
is the number of antisquares. For 
,
the 
-signature is Sylvester's
signature.
