Sum of two squares (source code)

= Sum of two squares

A representation $n=a^2+b^2$ with <integers> $a,b$. Signs, ordering, and whether zero is allowed must be specified when counting representations. The <sum of two squares theorem> characterizes which <nonnegative integers> have such a representation.