mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Cunningham Tables

Closed Thread
 
Thread Tools
Old 2008-07-20, 16:19   #34
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

101100101001012 Posts
Default

Quote:
Originally Posted by Raman View Post
So, can you please explain to me up how you derived the 4th degree
polynomial from the 8th degree one for 10,375-
x^8-x^7+x^5-x^4+x^3-x+1
x-10^{25}
Substitute x = y + 1/y in the octic and see what you get ...

Quote:
Originally Posted by Raman View Post
I am starting to sieve for 10,375- now.
10,312+ is in Linear Algebra and will finish up
within about 12 hours or so
(Matrix has less than 20 million rows!)

EMERGENCY
Also that I can't enter the value of m in the GGNFS
poly file too, because of the fact that
\division_{10^{25}}^{(10^{50}+1)}
is again not an integer at all
Solve the equation 10^25x = 1 (mod 10^50) in integers. The solution is the integer you want.


Paul
xilman is online now  
Old 2008-07-20, 17:07   #35
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

2×3×11×37 Posts
Default

Quote:
Originally Posted by xilman View Post
Solve the equation 10^25x = 1 (mod 10^50) in integers. The solution is the integer you want.
Paul
Although it's certainly a good exercise, actually entering m in the GGNFS poly file causes it to use the rational poly x-m. Enter the rational poly coefficients using Y1 and Y0, and the programs will calculate m.

Greg
frmky is offline  
Old 2008-07-25, 09:35   #36
Raman
Noodles
 
Raman's Avatar
 
"Mr. Tuch"
Dec 2007
Chennai, India

3·419 Posts
Default

Quote:
Originally Posted by xilman View Post
Solve the equation 1025x = 1 (mod 1050) in integers. The solution is the integer you want.
Be careful! There exist no solution to this equation. Since 1025 is even, a multiple of it is always even, and on the right hand side, 1 (mod 1050) is always odd. A solution is impossible to exist!

Quote:
Originally Posted by xilman View Post
Substitute x = y + 1/y in the octic and see what you get ...
No hopes for degree 4. Substituting x = y + (1/y) in x8, so it gives up
\sum_{z=0}^8 ^8C_z y^z (1/y)^{8-z}
which is clearly being at degree 8.

Other terms will have their appropriate degrees. So, when substituted, the whole algebraic polynomial will be of degree 8 only.

And the linear polynomial becomes more cumbersome, in this form, with
1025(y+(1/y)) - (1050+1)
Raman is offline  
Old 2008-07-25, 10:04   #37
fivemack
(loop (#_fork))
 
fivemack's Avatar
 
Feb 2006
Cambridge, England

193616 Posts
Default

Hi Raman.

The calculation of M should be modulo the number you're trying to factor - ie 10^25 N = (10^50+1) mod cofactor. But as xilman pointed out you just fill in the numerator and denominator in the Y0 and Y1 fields.

The idea of substituting y+1/y is to take advantage of the symmetry of the octic; you write {octic} = x^4 * quartic(x+1/x) for some suitably-chosen quartic, and the 10^50+1 and 10^25 are from (x + 1/x) written as (x^2+1)/x.
fivemack is offline  
Old 2008-07-25, 11:16   #38
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

23×3×311 Posts
Default

Quote:
Originally Posted by fivemack View Post
Hi Raman.

The calculation of M should be modulo the number you're trying to factor - ie 10^25 N = (10^50+1) mod cofactor. But as xilman pointed out you just fill in the numerator and denominator in the Y0 and Y1 fields.

The idea of substituting y+1/y is to take advantage of the symmetry of the octic; you write {octic} = x^4 * quartic(x+1/x) for some suitably-chosen quartic, and the 10^50+1 and 10^25 are from (x + 1/x) written as (x^2+1)/x.
The reason this works is that *reversing* the coefficients of any polynomial
results in a homomorphism of its splitting field, sending a root r of the
polynomial to 1/r. Thus, if the coefficients of the polynomial are the same
when reversed, we can replace the polynomial with one whose roots are
r + 1/r and get an isomorphic field.
R.D. Silverman is offline  
Old 2008-09-17, 17:10   #39
bdodson
 
bdodson's Avatar
 
Jun 2005
lehigh.edu

210 Posts
Default

Quote:
Originally Posted by garo View Post
Code:
Base	Index	Size	11M(45digits)	43M(50digits)	110M(55digits)	260M(60digits)	Decimal
7	271-	C214 :   1570202...53660188716054727305891
    ...
7	301-	C189 :   7473377...279834566763898163532521
    ...
7	393-	C217 :   580546345...10110568816475625168427
These three cofactors are no longer in the ECMNET input
file, and the indices 271-, 301- and 393- are not in the 7/08
appendix C. That leaves 18, with the NFSNET number 7,319-
sieved. with the matrix running; and 7,313- a C/D number,
also sieved, with matrix running. -Bruce
bdodson is offline  
Old 2009-09-18, 18:23   #40
bdodson
 
bdodson's Avatar
 
Jun 2005
lehigh.edu

210 Posts
Default count/recount

Quote:
Originally Posted by bdodson View Post
... That leaves 18, with the NFSNET number 7,319-
sieved. with the matrix running; and 7,313- a C/D number,
also sieved, with matrix running. -Bruce
OK, the database is now closer to being current than the table
in the first post. There should be 15, with
Code:
7	277-	C201	 done
7	311-	C225       first
7	313-	C248	 done
7	323-	C241       second, &etc.
If I'm reading the thread activity correctly, out of 18 tables (with
four base-2's and two each for 3, 5, 6, 7, 10, 11 and 12, so
4+2*7 = 18) this one is the one that's gone the longest without
a new factor report? No reserved numbers, either; with 311-
on the more wanted list. -Bruce

Off Topic PS: from the old pages on Sam's site, the cover letter
for page 80 (from 1998) lists a bunch of the tables as having been
extended
Quote:
to insure that every table has at least five holes
which explains which tables would be extended, but the trigger
seems to have been an update 2.C. There was also an update 2.E,
followed the the 3rd edition of the tables, Sept 2001. I don't see
any update 3.*'s; so suppose that it's unclear whether dropping one
of the table below five entries would trigger an update and extension,
or we might have some more time to clear an entire table (most likely
3- perhaps).
bdodson is offline  
Old 2009-12-21, 07:53   #41
10metreh
 
10metreh's Avatar
 
Nov 2008

232210 Posts
Default

In the DB, someone has entered the (previously unknown) factor of 7,391-:

p57 = 478566296656273815311438559010751123205277732759848440243

with a p187 cofactor. However, it can be found nowhere else - at least the forum and Sam's page don't mention it, and Google doesn't return any results for it. I expect the finder will come forward soon, but anyway, that's one "impossible" out of the way.

Last fiddled with by 10metreh on 2009-12-21 at 07:56
10metreh is offline  
Old 2009-12-21, 08:05   #42
Raman
Noodles
 
Raman's Avatar
 
"Mr. Tuch"
Dec 2007
Chennai, India

3·419 Posts
Default

Quote:
Originally Posted by 10metreh View Post
In the DB, someone has entered the (previously unknown) factor of 7,391-:

p57 = 478566296656273815311438559010751123205277732759848440243

with a p187 cofactor. However, it can be found nowhere else - at least the forum and Sam's page don't mention it, and Google doesn't return any results for it. I expect the finder will come forward soon, but anyway, that's one "impossible" out of the way.
Have you checked up the ECMNET page of Mr. Paul Zimmermann?
Raman is offline  
Old 2009-12-21, 08:27   #43
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

11×1,039 Posts
Default

Quote:
Originally Posted by Raman View Post
Have you checked up the ECMNET page of Mr. Paul Zimmermann?
Indeed, Paul mailed it out to the usual suspects yesterday evening.

Paul (the other one)
xilman is online now  
Old 2010-01-28, 20:57   #44
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

23×3×311 Posts
Default LA Failure?

Did the LA for 7,311- fail?
R.D. Silverman is offline  
Closed Thread

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
7+ table garo Cunningham Tables 87 2022-03-25 19:16
5+ table garo Cunningham Tables 100 2021-01-04 22:36
6+ table garo Cunningham Tables 80 2021-01-04 22:33
5- table garo Cunningham Tables 82 2020-03-15 21:47
6- table garo Cunningham Tables 41 2016-08-04 04:24

All times are UTC. The time now is 17:21.


Thu Aug 18 17:21:13 UTC 2022 up 14:49, 0 users, load averages: 1.51, 1.34, 1.41

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

โ‰  ยฑ โˆ“ รท ร— ยท โˆ’ โˆš โ€ฐ โŠ— โŠ• โŠ– โŠ˜ โŠ™ โ‰ค โ‰ฅ โ‰ฆ โ‰ง โ‰จ โ‰ฉ โ‰บ โ‰ป โ‰ผ โ‰ฝ โŠ โŠ โŠ‘ โŠ’ ยฒ ยณ ยฐ
โˆ  โˆŸ ยฐ โ‰… ~ โ€– โŸ‚ โซ›
โ‰ก โ‰œ โ‰ˆ โˆ โˆž โ‰ช โ‰ซ โŒŠโŒ‹ โŒˆโŒ‰ โˆ˜ โˆ โˆ โˆ‘ โˆง โˆจ โˆฉ โˆช โจ€ โŠ• โŠ— ๐–• ๐–– ๐–— โŠฒ โŠณ
โˆ… โˆ– โˆ โ†ฆ โ†ฃ โˆฉ โˆช โŠ† โŠ‚ โŠ„ โŠŠ โŠ‡ โŠƒ โŠ… โŠ‹ โŠ– โˆˆ โˆ‰ โˆ‹ โˆŒ โ„• โ„ค โ„š โ„ โ„‚ โ„ต โ„ถ โ„ท โ„ธ ๐“Ÿ
ยฌ โˆจ โˆง โŠ• โ†’ โ† โ‡’ โ‡ โ‡” โˆ€ โˆƒ โˆ„ โˆด โˆต โŠค โŠฅ โŠข โŠจ โซค โŠฃ โ€ฆ โ‹ฏ โ‹ฎ โ‹ฐ โ‹ฑ
โˆซ โˆฌ โˆญ โˆฎ โˆฏ โˆฐ โˆ‡ โˆ† ฮด โˆ‚ โ„ฑ โ„’ โ„“
๐›ข๐›ผ ๐›ฃ๐›ฝ ๐›ค๐›พ ๐›ฅ๐›ฟ ๐›ฆ๐œ€๐œ– ๐›ง๐œ ๐›จ๐œ‚ ๐›ฉ๐œƒ๐œ— ๐›ช๐œ„ ๐›ซ๐œ… ๐›ฌ๐œ† ๐›ญ๐œ‡ ๐›ฎ๐œˆ ๐›ฏ๐œ‰ ๐›ฐ๐œŠ ๐›ฑ๐œ‹ ๐›ฒ๐œŒ ๐›ด๐œŽ๐œ ๐›ต๐œ ๐›ถ๐œ ๐›ท๐œ™๐œ‘ ๐›ธ๐œ’ ๐›น๐œ“ ๐›บ๐œ”