Replying to myself again...
> 2. An odd number has a square root (or in fact two) if and only if it's
> = 1 (mod 4).
It seems I have some difficulty getting this right. There are four
square roots of unity, not just two. Namely,
1,
2^{k-1} - 1
2^{k-1} + 1
2^k - 1
And the numbers which are squares are 1 (mod 8).
Regards,
/Niels
--
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
http://gmplib.org/mailman/listinfo/gmp-devel
