View Single Post
Old 2018-05-13, 12:38   #3
Dr Sardonicus
Dr Sardonicus's Avatar
Feb 2017

13·461 Posts

Originally Posted by Dr Sardonicus View Post
If v = u - 1, we have norm(v) = 2, so that

v^(M-1) == 1 (mod MR) also.
Of course, norm(v) = -2, not 2. Luckily, all I needed this for in the case p == 5 (mod 6) was to check that v was relatively prime to M, i.e. vR + MR = R.

I'm not sure whether this was just a typo, or an instance of minus signs being one of the banes of my existence

I used the correct value norm(v) = -2 in the other, as-yet-unfinished case p == 1 (mod 6).
Dr Sardonicus is offline   Reply With Quote