++ed by:
EMAZEP DAVIDO SYP

3 PAUSE users

Dana Jacobsen

Modules

Changes for version 0.29

  • 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.