Invert the meaning of the Miller-Rabin test; passes_test meant 'is not

a witness'. Instead call it 'is_witness', returning true if a is a
witness for n's compositness, or otherwise false.

Also, the previous version would not check that the final value of y
was n-1; if it isn't, then n is not prime. This would mean the false
negative rate was higher than it should have been, though I'm not sure
by how much exactly.

0 files changed, 0 insertions, 0 deletions