Skip to content

Commit

Permalink
Updated ROADMAP
Browse files Browse the repository at this point in the history
  • Loading branch information
leto committed Apr 3, 2009
1 parent 1b59ed0 commit b4fcc14
Showing 1 changed file with 24 additions and 11 deletions.
35 changes: 24 additions & 11 deletions ROADMAP
Expand Up @@ -2,27 +2,40 @@

=head2 To be Done

* Port iMillerRabin from spec/bpsw/trn.c
* Port iMillerRabin from spec/bpsw/trn.c , this will be is_strong_pseudoprime()

** this will be is_strong_pseudoprime()
* Port iStrongLucasSelfridge(mpz_t) from spec/bpsw/trn.c , this will be is_strong_lucas_pseudoprime()

* Port iStrongLucasSelfridge(mpz_t) from spec/bpsw/trn.c
* Port iBPSW from spec/bpsw/bpsw1.c

** this will be is_strong_lucas_pseudoprime()
This is basically trial division, followed by a is_strong_pseudoprime(),
followed by a is_strong_lucas_pseudoprime()

* Port iBPSW from spec/bpsw/bpsw1.c
There are many optimizations to made for small arguments this will be
is_prime(), to replace Math::PARI::is_prime()

It may take optional arguments for power-users, but we want to have a really
simple function for people to call like this:

** it is basically trial division, followed by a is_strong_pseudoprime(),
followed by a is_strong_lucas_pseudoprime()
is_prime($x) ? foo() : bar();

** there are many optimizations to made for small arguments
which "does what I mean."

** this will be is_prime(), to replace Math::PARI::is_prime()
** next_prime()

** it may take optional arguments for power-users, but we want to have a really simple function for people to call
=head2 Hairy Details

is_prime($x) ? foo() : bar();
* I am currently adding functionality to Math::BigInt::GMP so that we can access
the following functions in GMP which up till now, have not been available from
Perl

* mpz_scan1 - needed for is_strong_pseudoprime()

* mpz_jacobi - needed for is_strong_lucas_pseudoprime()

* others?

=head2 Other Possibilities

=head2 Already Done

Expand Down

0 comments on commit b4fcc14

Please sign in to comment.