"Chris Lewis" <clewis(_at_)nortel(_dot_)com> wrote:
Seth could set up a "every week check to see if this IP is still prime,
and if not, delist" process. But I'm sure he could come up with a proof
that if the IP is currently prime, it'll _stay_ prime, and optimize out
the "every week..." bit ;-)
Temporal logic is fun.
But I actually implement by checking each time (trial division by all
the primes under 65536, there aren't that many). Does that make the
entries permanent or extremely ephemeral?
Seth
_______________________________________________
Asrg mailing list
Asrg(_at_)ietf(_dot_)org
https://www.ietf.org/mailman/listinfo/asrg