Minor typo in boost multiprecision primality testing documentation

[slask@…]

The current text on http://www.boost.org/doc/libs/1_55_0/libs/multiprecision/doc/html/boost_multiprecision/tut/primetest.html says: These functions perform a Miller-Rabin test for primality, if the result is false then n is definitely composite, while if the result is true then n is prime with probability 0.25^trials.

I believe it should say (1-0.25^{trials), not 0.25}trials.

[anonymous]

The current text is wrong, but your suggestion is, too (you're confusing conditional probability with its inverse, just as the original does). The text should say: "if the result is false then n is definitely composite, while if the result is true then n is probably prime. The probability to declare a composite n as probable prime is at most 0.25^{trials. Note that this does not allow a statement about the probability of n being actually prime (for that, the prior probability would have to be known)."}

[John Maddock]

Thanks for the comments (and better wording). Fixed in develop.