Two Primality tests for Fermat numbers
Hi,
I have built the proof of 2 new Primality tests for Fermat numbers.
(Don't expect them to reduce the time needed by the Pepin' test ...)
Why posting a test for Fermat numbers here ? Because it is a first step in a more global work I'm working on dealing with Lucas Sequences. I hope I will be able in the future to provide new useful theorems (and probably new conjectures) dealing with Mersenne and Fermat numbers.
Think about my guess at the end of the document, dealing with what I call "fixed point".
I've asked xyzzy (administrator) to host my document (.pdf) and to provide the link in this thread. Just wait xyzzy is available. Thanks xyzzy.
Let me know if my proof is correct ...
Tony
