[EMAIL PROTECTED] writes:
So, is this:
(2^p mod f) - 1
Congruent to this:
(2^p -1) mod f
Yes, though be careful about the case of 2^p mod f being 0. The first
will give you -1 and the second is f-1. They are congruent, mod f, of
course, but not identical.
This is doubly great, because TI-92s can go up to 614 decimal digit
precision, so I can store the entire factor.
So you should be able to test factors up to about 307 digits. Not
bad.:)
I am completely and utterly C illiterate. Mathematical ranting makes more
sense. BASIC is also good. But it doesn't matter, because I have a TI-92
function already that does a^b mod c.
It's probably the same algorithm; it's quite well known. (Though I
didn't know about it until George pointed it out to me when I joined
GIMPS back in Jan. of 1996; sped up my pre-GIMPS factorer by a factor
of three!).
If this is correct, I will craft a TI-92 program immediately to
factor Mersenne numbers. *drool drool* An untapped source of
computing power exists. Even if we can't factor up to 2^62 like
larger computers can, TI users will be able to scan low
factors. Not sure how fast, though. Yippee!
Actually, you can go farther; 2^62 is only about 20 digits. But
perhaps too slowly, as you note in a later message. And the mers
package programs can factor arbitrarily far, but also slower than
George's programs.
<<However, I cannot think of any way to do an LL test without
storing the number in memory. Is there way?>>
Neither can I. And TIs don't have 4MB RAM. *sob*.
As I've (just) pointed out, the LL test doesn't need the Mersenne
number itself either. However, it does need numbers just as large,
which is what prevents doing LL on TIs.
Will
________________________________________________________________
Unsubscribe & list info -- http://www.scruz.net/~luke/signup.htm