mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Factoring

Reply
 
Thread Tools
Old 2022-04-05, 04:18   #1013
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Liverpool (GMT/BST)

37·163 Posts
Default

Quote:
Originally Posted by swellman View Post
I think you can use higher TD, say 90 or 100, but as this job is on the low end of the difficulty spectrum it probably isn’t worth rerunning several times to optimize the matrix size/density and time to solve.

237M for your target number of relations seems high - the mean of the target # rels for 31 and 30 respectively is best for a target # rels for a 31/30 job. Say 190-200M, i.e. (135M+260M)/2.

The usual practice for requesting a 14d job is to post it in this thread.

You can request download credentials from Greg, but if this is a one off then you just rely on a volunteer to run the LA. If no one else steps up I can do it.

Sounds like the sieve region should be altered to 40M-100M. This reduces the estimated relations to 204M. This is still on the high side but I have read large quartics have a higher dup rate.
henryzz is offline   Reply With Quote
Old 2022-04-08, 21:07   #1014
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

16318 Posts
Default

Quote:
Originally Posted by Pascal Ochem View Post
Thank you!
You might get more hits with this list of composites
https://www.lirmm.fr/~ochem/opn/bound_on_m.txt
They appear in the proof that \(m > 10^{950}\), where \(OPN=p^em^2\)
Quote:
Originally Posted by Happy5214 View Post
Will try, thanks!
Just to update this search... I started with a random shuffle, doing a t30 plus half-a-t35 on each one. I did about 40-ish lines that way, finding 15 factors, and I noticed that most of the factors (12/15) were found with B1=250K or less. I then decided to go from start to finish, doing just under a t30 (yafu is weird about its curve count rounding). I've found a ton of factors doing that through the first 165 lines. In total, I've completely factored six composites and found 63 ECM/P-1 factors so far. I'm trying to post everything to FactorDB as I go.

Last fiddled with by Happy5214 on 2022-04-08 at 21:08 Reason: Add
Happy5214 is offline   Reply With Quote
Old 2022-04-10, 07:46   #1015
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Liverpool (GMT/BST)

37·163 Posts
Default

Factoring 1528152860898312226820507829734311038694803153043007 ^ 5 - 1 has reduced the proof for 13^4 to 2500 to a third of its previous size(15.6M stat_rec vs 46.4M stat_rec).
Currently have 7/15 of the forbidden primes to 2500. 3 or 4 are nearly there. I believe the first four (127, 19, 7, 11) are going to be the hard ones.
henryzz is offline   Reply With Quote
Old 2022-05-15, 22:04   #1016
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

39916 Posts
Default

Quote:
Originally Posted by Pascal Ochem View Post
Thank you!
You might get more hits with this list of composites
https://www.lirmm.fr/~ochem/opn/bound_on_m.txt
They appear in the proof that \(m > 10^{950}\), where \(OPN=p^em^2\)
OK, I just finished testing all of these candidates to just under a t30 (that's a t25 + 404 curves @ B1=250K; yafu's rounding was previously mentioned). I eliminated 46 candidates from the list and found a few hundred additional factors (honestly, I lost count). Rather than parse the yafu output, I dumped them into FactorDB as I was going, so you can find them there.
Happy5214 is offline   Reply With Quote
Old 2022-10-24, 17:13   #1017
SuikaPredator
 
Aug 2022
China

2016 Posts
Default

Trying to hit bound_on_m.txt with 900 curves @1e6. (In random order)

Found 7 factors out of first 24 composites, uploaded them to factordb, pretty satisfactory success rate.
SuikaPredator is offline   Reply With Quote
Old 2022-10-26, 05:54   #1018
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

92110 Posts
Default

Quote:
Originally Posted by SuikaPredator View Post
Trying to hit bound_on_m.txt with 900 curves @1e6. (In random order)

Found 7 factors out of first 24 composites, uploaded them to factordb, pretty satisfactory success rate.
I posted all of my factors to FactorDB, so make sure you check there before running a number to avoid duplication.

Edit: Alternatively, I've attached the yafu input of what was left over from my run, which you can just use as stdin.
Attached Files
File Type: zip bound.zip (641.2 KB, 20 views)

Last fiddled with by Happy5214 on 2022-10-26 at 05:59
Happy5214 is offline   Reply With Quote
Old 2022-10-26, 06:57   #1019
SuikaPredator
 
Aug 2022
China

25 Posts
Default

Quote:
Originally Posted by Happy5214 View Post
I posted all of my factors to FactorDB, so make sure you check there before running a number to avoid duplication.

Edit: Alternatively, I've attached the yafu input of what was left over from my run, which you can just use as stdin.
Thanks for your status update, I will try to eliminate candidates using the file you uploaded.
SuikaPredator is offline   Reply With Quote
Old 2022-10-26, 08:21   #1020
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Liverpool (GMT/BST)

37×163 Posts
Default

Does anyone have an automated way of checking for OPN factors from the factordb?
henryzz is offline   Reply With Quote
Old 2022-10-26, 12:36   #1021
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

1110111000002 Posts
Default

Quote:
Originally Posted by henryzz View Post
Does anyone have an automated way of checking for OPN factors from the factordb?
Pascal has something he uses based on this post.
RichD is offline   Reply With Quote
Old 2022-10-26, 12:59   #1022
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

1,373 Posts
Default

I have found that factor db will sometimes show different factorisations depending if one looks up b^n-1 or (b^n-1)/(b-1). I assume that sometimes in the backend (b^n-1)/(b-1) is not always linked as a factor of b^n-1, or perhaps that changes to one page may take a while to propogate to another.

Since I noticed that I've always made sure to report factors to both pages to ensure that they aren't missed.
lavalamp is offline   Reply With Quote
Old 2022-10-26, 20:22   #1023
Pascal Ochem
 
Pascal Ochem's Avatar
 
Apr 2006

2×53 Posts
Default

The run to prove \(m\ge 10^{1000}\) finished without problems a few weeks ago.
Quote:
Originally Posted by RichD View Post
Pascal has something he uses based on this post.
I have asked skilled people to write suitable scripts, back in the days. If the file comp contains composites in tXXX format, the command
toto.sh comp
produces the files comp_f containing the factors in checkfacts format and comp_n containing the remaining composites.

toto.sh:
Code:
#!/bin/bash
oddfactors.pl $1
fhtml=$$_html
furl=$$_url
touch $1factors.html
for i in $(cat $1factors.html | sed 's/<\/p>/X/g' | tr "X" "\n" | sed -e "s/<p>.*='//" -e "s/'.*//g")
do
    wget $i -O $fhtml 2>/dev/null 1>&2
    echo $(cat $fhtml | tr ">" "\n" | grep index.php? | grep -v show | head -2 | tail -1 | sed -e 's/.*="//' -e 's/"//') >> $furl
    echo -n "."
done
echo
touch $furl
for i in $(cat $furl)
do
    wget factordb.com/$i -O $fhtml 2>/dev/null 1>&2
    echo $(cat $fhtml | grep value | head -1 | sed -e 's/.*value="//' -e 's/">//') >> $$_factor.txt
    echo -n "."
done
echo
rm $fhtml

match $1 $$_factor.txt > $1_f
rm $furl $1factors.html $$_factor.txt
date
oddfactors.pl:
Code:
#!/bin/sh
#! -*-perl-*-
eval 'exec perl -x -wS $0 ${1+"$@"}'
if 0;
use strict;
use warnings;
use LWP::Simple;
use vars qw/$line @line $page $data $file/;

open (IN, $ARGV[0]) || die " cannot open file";
open (LEFT,">${ARGV[0]}_n");
$file="$ARGV[0]factors.html";
open (OUT,">$file");

my $i=0;
my $j=0;
while (defined($line=<IN>))
{
        chomp $line;
        @line= split /\s/,$line;
        #print OUT "$line[2]\n";
        $page="http://factordb.com/index.php?query=$line[2]";
        $data=get($page);

        if ($data =~ m/\<td\>FF\<\/td\>/ || $data =~ m/\<td\>CF\<\/td\>/ ) 
        {
                #print OUT "$line is factored!\n\t$page\n":
                print OUT "<p><a href='$page'>$line[0] $line[1] is factored!</a></p>";
                $i++;
        }
        else 
        {
                print LEFT "$line\n";
                $j++;
        }
}
close IN;
close OUT;
if (-z $file)
{
        print "No numbers factored\n"
}
else {print "Factored $i\nRemaining $j\n";}

Last fiddled with by Pascal Ochem on 2022-10-26 at 20:25
Pascal Ochem is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Passive Pascal Xyzzy GPU Computing 1 2017-05-17 20:22
Tesla P100 — 5.4 DP TeraFLOPS — Pascal Mark Rose GPU Computing 52 2016-07-02 12:11
Nvidia Pascal, a third of DP firejuggler GPU Computing 12 2016-02-23 06:55
Calculating perfect numbers in Pascal Elhueno Homework Help 5 2008-06-12 16:37
Factorization attempt to a c163 - a new Odd Perfect Number roadblock jchein1 Factoring 30 2005-05-30 14:43

All times are UTC. The time now is 14:18.


Sun Feb 5 14:18:55 UTC 2023 up 171 days, 11:47, 1 user, load averages: 0.94, 1.12, 1.05

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔