# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1487709156 0
# Node ID 6e9dc46857b5b9a285fa07ff992883a6510dbbc6
# Parent  7c082c0289d55ac705e76784934508445b95fbb9
Woodall

diff -r 7c082c0289d5 -r 6e9dc46857b5 src/primes.lisp
--- a/src/primes.lisp	Mon Feb 20 17:14:25 2017 +0000
+++ b/src/primes.lisp	Tue Feb 21 20:32:36 2017 +0000
@@ -162,3 +162,9 @@
                 (incf seen)
                 (when (= seen n)
                   (return i))))))
+
+(defun woodall (n)
+  (1- (* n (expt 2 n))))
+
+(defun woodall-prime-p (n)
+  (primep (woodall n)))