[Asrg] Comments/Mods (2.2.1)

[Seth]

"Chris Lewis" <clewis at nortel.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