; facpow.l

(defun factorial (n) 
  (product (iota n))
)

(defun power (n1 n2)
  (product (gen-list n2 n1))
)