math.factorials: implement "undo" for factorials.

factor · Nov 30, 2016 · 8bdaf26 · 8bdaf26
1 parent 1e2e2dc
commit 8bdaf26
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/extra/math/factorials/factorials.factor b/extra/math/factorials/factorials.factor
@@ -1,8 +1,8 @@
 ! Copyright (C) 2013 John Benediktsson
 ! See http://factorcode.org/license.txt for BSD license
 
-USING: combinators combinators.short-circuit fry kernel math
-math.functions math.primes math.ranges memoize sequences ;
+USING: combinators combinators.short-circuit fry inverse kernel
+math math.functions math.primes math.ranges memoize sequences ;
 
 IN: math.factorials
 
@@ -121,3 +121,7 @@ PRIVATE>
 
 : reverse-factorial ( m -- n )
     1 1 [ 2over > ] [ 1 + [ * ] keep ] while [ = ] dip and ;
+
+\ factorial [ reverse-factorial ] define-inverse
+
+\ reverse-factorial [ factorial ] define-inverse