Module prime_whl provides low-level predicates to test candidate primality of numbers based on a prime wheel of level 4, i.e. generated by the first 4 consecutive prime numbers.

NOTE: Predicates in this module are not meant for public use.

author

- Julio P. Di Egidio

version

- 1.2.5-beta

copyright

- 2016 Julio P. Di Egidio

license

- GNU GPLv3

To be done

- Implement dynamic wheel with option for level?

 test_(+N:posint, -Cert:boolean) is semidet

 right_(+N:posint, -P:posint, -Cert:boolean) is det

 left_(+N:posint, -P:posint, -Cert:boolean) is semidet

 lev_(-Lev:posint) is det