To allow for maximum performance, module prime_lgc provides unsafe public (not exported) predicates that user code can call directly instead of calling the safe predicates exported by module prime.

For info on the implementation, see library(nan_numerics_prime).

NOTE: Predicates in this module are unsafe, i.e. do not validate input arguments and are not steadfast.

author

- Julio P. Di Egidio

version

- 1.2.5-beta

See also

- library(nan_numerics_prime)

copyright

- 2016 Julio P. Di Egidio

license

- GNU GPLv3

To be done

- Integrate isqrt function from GMP?

 test_(+N:posint) is semidet

 div_(+N:posint, -P:prime) is semidet

 div_rev_(+N:posint, -P:prime) is semidet

 fact_(+N:posint, -PFs:list(pfact)) is det

 gen_(+Inf:posint, -P:prime) is multi

 gen_(+Inf:posint, +Sup:posint, -P:prime) is nondet

 gen_p_(+L:prime, -P:prime) is multi

 gen_p_(+L:prime, +H:prime, -P:prime) is nondet

 gen_rev_(+Sup:prime, -P:prime) is nondet

 gen_rev_(+Inf:posint, +Sup:posint, -P:prime) is nondet

 gen_rev_p_(+H:prime, -P:prime) is multi

 gen_rev_p_(+L:prime, +H:prime, -P:prime) is nondet

 next_(+N:posint, -P:prime) is det

 next_p_(+P0:prime, -P:prime) is det

 prev_(+N:posint, -P:prime) is semidet

 prev_p_(+P0:prime, -P:prime) is semidet

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

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