20221127, 16:47  #23 
Sep 2002
Database er0rr
1001011001011_{2} Posts 
As with "12" (GCDless probably because the discriminant of at r=znorder(Mod(12,n)) is 1+48, a square) compared to "12", and comparing "3" to "3"  the latter needing GCD depending on whether n is 1 or 3 mod 4  the same can be said about "2". This seems only to need a check for gcd(2*r1,n1)==1.
It is all confusing, but it seems some (positive?) values need either a check of gcd(r1,n1)==1 or gcd(2*r1,n1)==1 depending on n%4.; The negative values require at most one GCD check be that 2*r1 as with "2" or r1 as with "3". What am taking about? Working over the equation x^2b^r*x+b = 0. Last fiddled with by paulunderwood on 20221127 at 16:47 
20221213, 21:07  #24 
Sep 2002
Database er0rr
17·283 Posts 
Another attempted proof
Having read the paper attached to this thread earlier, rather than considering (3)^(4*(r1))1 if we consider (3)^(2*(r1))+1  the predecessor  we have (3)^(2*(r1)) == 1 mod n. But then multiplicative order of 3 mod n called z must be even and (3)^(z/2) == 1 mod n. Therefore (3)^(2*(r1)) == (3)^(z/2) mod n. If 1<=r<=z then 4*(r1) = z (**). But z  n1 and we have already stipulated that gcd(r1,n1)==1. So gcd(r1,z)==1. Thus (**) is impossible.
Is this a proof of a lemma? Last fiddled with by paulunderwood on 20221213 at 21:18 
20221213, 21:54  #25 
"Chereztynnoguzakidai"
Oct 2022
Ukraine, near Kyiv.
67 Posts 
sorry silly me (i'm lost the point, here in Ukraine now is the real AC/DC problem))), we still talk about something for pseudoprimes only or else?

20221213, 21:59  #26 
Sep 2002
Database er0rr
4811_{10} Posts 
Pseudoprimes for now, but hopefully leading to a prime test. If the argument just given is valid, then it is one step in the right direction.

20221213, 22:19  #27 
"Chereztynnoguzakidai"
Oct 2022
Ukraine, near Kyiv.
67 Posts 
I remember, I mumbled something about tree, so pseudoprime is a tree, an average tree, there is nothing special in them  their existence is only flaws in out primality test; take the true test  and we have NO pseudiprimes, and what are we suppose to do now?

20221213, 22:29  #28 
Sep 2002
Database er0rr
1001011001011_{2} Posts 
Even a large tree starts out as a small one. A pseudoprime test that has no known counterexample for all parameters for n<2*10^12 (on a Celeron core); A test that may well turn out to be a revolutionary primality test. Instead of months on mullticore systems, a *proof* in minutes on one core! But I need someone to check over my lemma given above, before proceeding to a fully fledged proof attempt.
Last fiddled with by paulunderwood on 20221213 at 22:31 
20221213, 23:15  #29 
"Chereztynnoguzakidai"
Oct 2022
Ukraine, near Kyiv.
103_{8} Posts 
You know, the Solar core of our Sun, have a temperatures of 10 up to 15 million kelvins + a few millions)))
Here the diff btw mathematican&astronomer For me, the One Million Kelvins diff is OK The wierld mathmans from mersenneforums never say this and proof seems unlikely, sorry ((Every time using mod() (in prime test or so) we just like Moses&water from stone Sweet, but grave sin)) 
20221214, 02:31  #30  
Sep 2002
Database er0rr
17×283 Posts 
Quote:
Here is another argument. From the test we know (3)^(n1) == 1 mod n. We know (3)^z == 1 mod n by definition. If (3)^(4*(n1)) == 1 mod n, then z  n1 and z  4*(r1), but we have taken gcd(r1,n1) = 1. So z  4. I.e. 80 == 0 mod n. So n must be 5. Where is flaw in this simpler argument? Last fiddled with by paulunderwood on 20221214 at 03:01 

20221217, 16:34  #31 
Dec 2022
1042_{8} Posts 
Amazing pattern with 12 (was 3)
Any proposed deterministic primality test absolutely requires a proof! If you don't know the different between a deterministic and a probable prime test (the latter of which we already have well enough) then you probably aren't going to be making a contribution.
There isn't only one method of proof as the LL test shows. But some proof is necessary, not just checking that known primes satisfy it. Even if you also proved that all _composites_ up to a large limit failed the test, it wouldn't count as a proof. Such a primality proof would likely represent a significant breakthrough especially since it could probably be extended to other repunits and repunitlike numbers. 
20221218, 05:08  #32 
Sep 2002
Database er0rr
1001011001011_{2} Posts 
The case for 3
Consider working over x^23^r*x+3 (**) We want gcd(r1,n1)=1 as stated earlier. We also know the multiplicative order z (of 3 mod n) is even and 3^(z/2)==1 mod n.
Now x^23^(z/2)*3+3=0 is x^2+3*x+3=0. This is the same as (**) if we are taking (n+1)th powers of x over it. I claim there are only pseudoprimes for r=1 and r=z/2+1, both of which can be eliminated by taking gcd(r1,n1)=1. Here is code that I a am running: Code:
{b=3;forstep(n=3,1000000000000,2, if(gcd(b,n)==1&&!ispseudoprime(n)&&Mod(b,n)^((n1)/2)==kronecker(b,n), z=znorder(Mod(b,n));if(z%2==0&&Mod(b,n)^(z/2)==1, for(r=1,z/2, D=lift(Mod(b,n)^(2*r)4*b); if(kronecker(D,n)==1&&Mod(Mod(x,n),x^2(Mod(b,n)^(2*r1)2)*x+1)^((n+1)/2)==kronecker(b,n), g=gcd(r1,n1);print([n,b,z,r,g]))))));} Code:
[28027505969, 3, 4048, 1, 28027505968] [28027505969, 3, 4048, 1233, 1232] I note z*k+1=p for some k where prime p  n. For all prime p_{i}  n for various k_{i}? Last fiddled with by paulunderwood on 20221218 at 06:53 
20221218, 15:00  #33 
Dec 2022
2·3·7·13 Posts 
How did my last post end up here? It was posted only to the Wagstaff forum, in reply to 'primality test' proposals that apparently dominate that forum.
Still, it seems almost appropriate here, because you also don't seem to appreciate the need for a proof. People generally aren't interested in another PRP test, as we already have adequate ones (for very large numbers, time is the crucial factor, and the simple Fermat (or strong Fermat) test is faster than any other). You can't just hand wave 'this can probably be converted to a deterministic test'; you need to at least try to outline a proof, and no amount of computation gets any closer to doing that. 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Amazing 6  paulunderwood  Miscellaneous Math  118  20210318 21:53 
Amazing result in P1  Miszka  Information & Answers  2  20140704 17:11 
Amazing academic resource  Xyzzy  Lounge  6  20120325 22:57 
Amazing!!!  R.D. Silverman  Factoring  5  20060126 09:14 
Two Amazing Things  clowns789  Hardware  1  20031227 16:57 