mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2011-10-17, 15:03   #1
jasonp
Tribal Bullet
 
jasonp's Avatar
 
Oct 2004

3×52×47 Posts
Default Primality proving of DB factors?

I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?
jasonp is offline   Reply With Quote
Old 2011-10-17, 15:16   #2
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

7·11·107 Posts
Default

I don't use the site. I do know that, users have been taking groups of numbers that were probable primes and using primo and providing certificates. Numbers that are only Probably prime are indicated as such.

http://www.factordb.com/status.html

Last fiddled with by Uncwilly on 2011-10-17 at 15:17
Uncwilly is online now   Reply With Quote
Old 2011-10-17, 15:41   #3
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

2×1,061 Posts
Default

Quote:
Originally Posted by jasonp View Post
I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?
Under 300 digits, primes are proved (I assume) with APRT. At the 300 digit level and above, it uses either PRIMO certs or N-1/N+1 (or combined) proofs.
schickel is offline   Reply With Quote
Old 2011-10-17, 18:04   #4
Andi47
 
Andi47's Avatar
 
Oct 2004
Austria

2×17×73 Posts
Default

The factordb also distinguishes between proven primes and probable primes - if a "prime" is not proven prime, the factordb outputs it as PRP.
Andi47 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Unit Differences for Primality Proving Trejack Miscellaneous Math 11 2016-05-12 04:15
Use Pepin's Tests for proving primality of Mersenne numbers ? T.Rex Math 12 2016-04-03 22:27
Primality proving CRGreathouse Software 13 2011-01-30 14:30
"New primality proving test from Alex Petrov" ewmayer Math 11 2007-04-23 19:07
fastest general number primality-proving algorithm? ixfd64 Math 3 2003-12-17 17:06

All times are UTC. The time now is 03:44.

Tue Jul 14 03:44:02 UTC 2020 up 111 days, 1:17, 0 users, load averages: 2.45, 1.94, 1.86

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