Boost C++ Libraries: Ticket #9645: Minor typo in boost multiprecision primality testing documentation https://svn.boost.org/trac10/ticket/9645 <p> The current text on <a href="http://www.boost.org/doc/libs/1_55_0/libs/multiprecision/doc/html/boost_multiprecision/tut/primetest.html">http://www.boost.org/doc/libs/1_55_0/libs/multiprecision/doc/html/boost_multiprecision/tut/primetest.html</a> 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<sup>trials. </sup></p> <p> I believe it should say (1-0.25<sup>trials), not 0.25</sup>trials. </p> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/9645 Trac 1.4.3 anonymous Sat, 08 Feb 2014 18:00:39 GMT <link>https://svn.boost.org/trac10/ticket/9645#comment:1 </link> <guid isPermaLink="false">https://svn.boost.org/trac10/ticket/9645#comment:1</guid> <description> <p> 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<sup>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)." </sup></p> </description> <category>Ticket</category> </item> <item> <dc:creator>John Maddock</dc:creator> <pubDate>Tue, 11 Mar 2014 17:21:11 GMT</pubDate> <title>status changed; resolution set https://svn.boost.org/trac10/ticket/9645#comment:2 https://svn.boost.org/trac10/ticket/9645#comment:2 <ul> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> <p> Thanks for the comments (and better wording). Fixed in develop. </p> Ticket