
Boost : 
From: Lucas Galfaso (lgalfaso_at_[hidden])
Date: 20030922 03:46:15
Ok, under some very special circumstances, it might be useful to do a
compile time prime verification.
Trying to join to another branch of this same thread, verifying that a^m=a
mod m is not a verification test at all. Composite number with this property
(with the additional hypothesis that a and m are coprime) are called
Carmichael number, viz. 3.11.17, 5.13.17, 5.17.29, 5.29.73, 7.13.19.
If you really want a fast algorithm, try implement RabinMiller, but a
compile time of this algorithm could be really tricky to implement.
Lucas/
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk