Re: Primality of a Mersenne factor
- --- In firstname.lastname@example.org, "Paul Jobling"
> > The following factorisation doesn't appear on Will Edgington'sto see
> > Mersenne factors page
> > so may well be new (but please correct me if it isn't...)
> > (2^16129-1)/(2^127-1) = 14806423*25044595073*72653532113*prp4789
> > Is it feasible to prove the primality of the last factor prp4789?
> Certainly, using Primo. See http://www.ellipsa.net/primo/record.html
> how large the numbers are that people can now prove prime - withpatience,
> naturally.As a correction to my last message (which, in any event, only went to
Paul) I'd expect the number in question to take a GHz-month, or