>>>>> "Andrei" == Andrei Zorine <zoav1@uic.nnov.ru> writes:
[code snipped]
Andrei> (defun primep(p)
Andrei> (if (mevenp p) (return-from primep nil)
Andrei> ($rabinmiller p)))
Is that what we want maxima to do? Declare something is prime if it
is probably prime by passing the Rabin-Maller test?
I think it would be better to return 'PROBABLY-PRIME or something lest
we confuse the unsuspecting user into thinking some really is prime
when it's not.
Ray