Skip to content

Latest commit

 

History

History
5 lines (5 loc) · 586 Bytes

README.md

File metadata and controls

5 lines (5 loc) · 586 Bytes

$$ ^\forall p: \text{odd prime}, \ ^\forall e \in \mathbb{Z_+}, \ \ \begin{eqnarray} \left| \ \mathrm{QR_+} (p) \ \right| &=& \frac{p - 1}{2}\\ \text{if} \ e \in 2\mathbb{Z_+}, \ \left| \ \mathrm{QR_+} (p^e) \ \right| &=& \ p \ \left| \ \mathrm{QR_+}(p^{e - 1}) \ \right| \\ \text{if} \ e \notin 2\mathbb{Z_+}, \ \left| \ \mathrm{QR_+} (p^e) \ \right| &=& \ p \ \left| \ \mathrm{QR_+}(p^{e - 1}) \ \right| \ + \ \lfloor \sqrt{p - 1} \rfloor \ + \ \left| \ \left\{ \ r \in \mathrm{QR_+}(p) \ \middle| \ ^\forall k \in \mathbb{Z_+}, \ k^2 \ne r \ \right\} \ \right| \end{eqnarray}$$