Blame

Date:
Message:
Import sources
Actions:
History | Blob | Raw File
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)))