v5 PrimeNet factor validation - test it now!

Old man PrimeNet · 2006-02-13, 19:44

Can anyone break this v5 factor validation test for any exponent n and factor f ? Post any n, f that you find breaks the test.

http: //v5.mersenne.org/v5server/gimps/mpftest.php ? n=<exponent> & f=<factor>

Examples:

http://v5.mersenne.org/v5server/gimp...39203503481761

1745801539203503481761 IS FACTOR of M(25196683)

http://v5.mersenne.org/v5server/gimp...39203503481763

1745801539203503481763 is NOT factor of M(25196683)

Paulie · 2006-02-13, 20:11

http://v5.mersenne.org/v5server/gimp...?n=2&f=klingon

klingon is NOT factor of M(2)

True, but not true. :D

Mystwalker · 2006-02-13, 20:19

http://v5.mersenne.org/v5server/gimp...st.php?n=8&f=5

5 is NOT factor of M(8)

Paulie · 2006-02-13, 20:20

http://v5.mersenne.org/v5server/gimp...82412157958831

8092687948661261082412157958831 is NOT factor of M(23292847)

23292847 F 103 8092687948661261082412157958831 14-Feb-04 01:24 PJM-Borg01

EDIT: Scott saw this already.

Maybe pull a dump from v4 for all factors found and script them all through the new code?

Uncwilly · 2006-02-13, 20:31

http://v5.mersenne.org/v5server/gimp....php?n=127&f=1

1 is NOT factor of M(127)

http://v5.mersenne.org/v5server/gimp....php?n=128&f=3
3 is NOT factor of M(128)
However:
M(128)=340282366920938463463374607431768211455 = 3 x 5 x 17 x 257 x 641 x 65537 x 274177 x 6700417 x 67280421310721

Old man PrimeNet · 2006-02-13, 21:03

Hmm, the notes in the code I'm using cites these restrictions:

(a) 79999999 >= odd exponent >= 727
(b) factor > 9, no leading zeros

so let's stay within those.

For Paulie's 8092687948661261082412157958831 of M(23292847), I'm wondering if that's an invalid factor report. The GNU Multiple Precision Arithmetic Library (GMP) try it site http://www.swox.com/gmp/#TRY when given:

(2^23292847-1) mod 8092687948661261082412157958831

Responds:

The result of executing (2^23292847-1) mod 8092687948661261082412157958831 is:
computation took 0 ms
output conversion took 0 ms
715926209409172266387763954144

instead of the expected 0 result.

As a check:

The result of executing (2^25196683-1) mod 1745801539203503481761 is:
computation took 0 ms
output conversion took 0 ms
0

as expected.

xilman · 2006-02-13, 21:28

Quote:

Originally Posted by Old man PrimeNet

Hmm, the notes in the code I'm using cites these restrictions:

(a) 79999999 >= odd exponent >= 727
(b) factor > 9, no leading zeros

so let's stay within those.

You may be please to know that when I tested 2^1023-1 as a factor of M1023 it passed.

Nobody else seems to have tested that Mn is a factor of Mn

Paul

Paulie · 2006-02-13, 21:31

If that's the case, I want to LL test that canidate! I sent a note to George.

Ken_g6 · 2006-02-13, 22:33

You really ought to parse out non-digits from those arguments. Otherwise, one can put anything they want in there!

I don't know the exact codes, but someone could probably compromise your server this way.

thechickenman · 2006-02-13, 22:49

4440772988630248159 IS FACTOR of M(62069197)

Just found that, so, works for me.

1997rj7 · 2006-02-13, 23:17

According to the Factors file, the factor of 23292847 is actually:

18092687948661261082412157958831, which passes the test OK.

2006-02-13, 19:44	#1
Old man PrimeNet Jan 2003 Altitude>12,500 MSL 101 Posts	v5 PrimeNet factor validation - test it now! Can anyone break this v5 factor validation test for any exponent n and factor f ? Post any n, f that you find breaks the test. http: //v5.mersenne.org/v5server/gimps/mpftest.php ? n=<exponent> & f=<factor> Examples: http://v5.mersenne.org/v5server/gimp...39203503481761 1745801539203503481761 IS FACTOR of M(25196683) http://v5.mersenne.org/v5server/gimp...39203503481763 1745801539203503481763 is NOT factor of M(25196683)

2006-02-13, 20:11	#2
Paulie Aug 2002 223 Posts	http://v5.mersenne.org/v5server/gimp...?n=2&f=klingon klingon is NOT factor of M(2) True, but not true. :D Last fiddled with by Paulie on 2006-02-13 at 20:11

2006-02-13, 20:20	#4
Paulie Aug 2002 223 Posts	Found one http://v5.mersenne.org/v5server/gimp...82412157958831 8092687948661261082412157958831 is NOT factor of M(23292847) 23292847 F 103 8092687948661261082412157958831 14-Feb-04 01:24 PJM-Borg01 EDIT: Scott saw this already. Maybe pull a dump from v4 for all factors found and script them all through the new code? Last fiddled with by Paulie on 2006-02-13 at 20:27

2006-02-13, 20:31	#5
Uncwilly 6809 > 6502 """"""""""""""""""" Aug 2003 101×103 Posts 2×7×677 Posts	http://v5.mersenne.org/v5server/gimp....php?n=127&f=1 1 is NOT factor of M(127) http://v5.mersenne.org/v5server/gimp....php?n=128&f=3 3 is NOT factor of M(128) However: M(128)=340282366920938463463374607431768211455 = 3 x 5 x 17 x 257 x 641 x 65537 x 274177 x 6700417 x 67280421310721 Last fiddled with by Uncwilly on 2006-02-13 at 20:39

2006-02-13, 21:03	#6
Old man PrimeNet Jan 2003 Altitude>12,500 MSL 101 Posts	Hmm, the notes in the code I'm using cites these restrictions: (a) 79999999 >= odd exponent >= 727 (b) factor > 9, no leading zeros so let's stay within those. For Paulie's 8092687948661261082412157958831 of M(23292847), I'm wondering if that's an invalid factor report. The GNU Multiple Precision Arithmetic Library (GMP) try it site http://www.swox.com/gmp/#TRY when given: (2^23292847-1) mod 8092687948661261082412157958831 Responds: The result of executing (2^23292847-1) mod 8092687948661261082412157958831 is: computation took 0 ms output conversion took 0 ms 715926209409172266387763954144 instead of the expected 0 result. As a check: The result of executing (2^25196683-1) mod 1745801539203503481761 is: computation took 0 ms output conversion took 0 ms 0 as expected.

2006-02-13, 20:19	#3
Mystwalker Jul 2004 Potsdam, Germany 3×277 Posts	http://v5.mersenne.org/v5server/gimp...st.php?n=8&f=5 5 is NOT factor of M(8)

2006-02-13, 21:31	#8
Paulie Aug 2002 223 Posts	If that's the case, I want to LL test that canidate! I sent a note to George. Last fiddled with by Paulie on 2006-02-13 at 21:36

2006-02-13, 22:33	#9
Ken_g6 Jan 2005 Caught in a sieve 5·79 Posts	You really ought to parse out non-digits from those arguments. Otherwise, one can put anything they want in there! I don't know the exact codes, but someone could probably compromise your server this way. Last fiddled with by Ken_g6 on 2006-02-13 at 22:34

2006-02-13, 22:49	#10
thechickenman Nov 2005 South Carolina 77₁₀ Posts	4440772988630248159 IS FACTOR of M(62069197) Just found that, so, works for me.

2006-02-13, 23:17	#11
1997rj7 Sep 2003 349 Posts	According to the Factors file, the factor of 23292847 is actually: 18092687948661261082412157958831, which passes the test OK.

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
[Patch] "Test/Primenet" prompts improvements on console version	Explorer09	Software	2	2017-03-09 04:14
Are all LL-Test Assignments always already factor tested	MersenneLover	PrimeNet	13	2011-11-20 02:00
Why isn't Primenet World test Status Available	Bundu	Data	1	2004-08-11 00:00
New program to test a single factor	dsouza123	Programming	6	2004-01-13 03:53
Using Motorola 7410s to factor numbers or test for primality	nukemyrman	Hardware	7	2003-03-04 16:08