Design #1608
Updated by John Abbott over 2 years ago
Not so important: what is the domain of defn of @NextPrime@ and that of @PrevPrime@?
I tried to compute @NextPrime(0)@ but of obtained an error saying the arg must be (strictly) positive.
Also @PrevPrime(2)@ in CoCoA-5 gave an unhelpful/misleading unhelp/misleading error message (ArgTooBig).
Decide defn, and improve error mesgs.
I tried to compute @NextPrime(0)@ but of obtained an error saying the arg must be (strictly) positive.
Also @PrevPrime(2)@ in CoCoA-5 gave an unhelpful/misleading unhelp/misleading error message (ArgTooBig).
Decide defn, and improve error mesgs.