2-adic roots (Re: bdiv vs redc)

[Niels Möller]

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.