1 665c255d 2023-08-04 jrmu (defun full-fermat-test (n)
2 665c255d 2023-08-04 jrmu   (defun aux-test (a)
3 665c255d 2023-08-04 jrmu     (cond ((= a 1) t)
4 665c255d 2023-08-04 jrmu 	  ((/= (expmod a n n) a) nil)
5 665c255d 2023-08-04 jrmu 	  (t (aux-test (1- a)))))
6 665c255d 2023-08-04 jrmu   (aux-test (1- n)))
7 665c255d 2023-08-04 jrmu 
8 665c255d 2023-08-04 jrmu (full-fermat-test 6601)