Add optional primality certificate using ECPP to factorizations

Open alpertron opened this issue 4 years ago • 1 comments

Add a button after the factorization finishes that generates the ECPP factorization certificates, so everybody is sure that the factors shown are prime.

Mar 23 '21 15:03 alpertron

Complex multiplication requires floating-point operations with arbitrary precision, so this issue depends on #19.

Mar 26 '21 12:03 alpertron