mersenneforum.org - OEIS - 2^n-5 - LLT-like algorithm for finding PRPs

mersenneforum.org (https://www.mersenneforum.org/index.php)

- Miscellaneous Math (https://www.mersenneforum.org/forumdisplay.php?f=56)

- - OEIS - 2^n-5 - LLT-like algorithm for finding PRPs (https://www.mersenneforum.org/showthread.php?t=20453)

[QUOTE=T.Rex;409209]Explanation is not a proof. Explanation is only words. Would you mind writing a proof ?[/QUOTE]

Not for someone who admits he knows nothing about the math involved.
It would be meaningless to you. As is most everything else about this subject.

[QUOTE=R.D. Silverman;409222]
It would be meaningless to you.[/QUOTE]

equally so about half the things I phrase mathematically incorrect for you, never stopped you chiming in before.

[QUOTE=science_man_88;409224]equally so about half the things I phrase mathematically incorrect for you, never stopped you chiming in before.[/QUOTE]

I have *already* chimed in. Jon Grantham's work established that PRP tests based on Lucas sequences
are a special case of his more general Frobenius PRP tests. However, T.Rex was unwilling to
accept this.

Why should I spend the time writing up 2 to 3 pages of a formal proof for someone who won't understand it?
(neither will you).

His request for a proof was not serious. It was a taunt.