Changes for version 0.29 - 2014-11-26
- ADDED
- is_llr_prime(p) For k*2^n-1, returns -1, 0, or 2
- lucasu(P, Q, k) U_k for Lucas(P,Q)
- lucasv(P, Q, k) V_k for Lucas(P,Q)
- PERFORMANCE
- is_prime will prove many Proth-form (h*2^n+1) numbers.
- is_provable_prime tries less hard to make a BLS75-T5 proof. Certs may be longer, but performance is better.
Modules
Utilities related to prime numbers and factoring, using GMP