Paste: josephus
Author: | mrjbq7 |
Mode: | factor |
Date: | Wed, 1 May 2013 16:02:19 |
Plain Text |
:: josephus
2 n [a,b] 0 [ [ k + ] dip mod ] reduce 1 + ;
: josephus2
dup log2 2^ - 2 * 1 + ;
Author: | Loryn Jenkins / mrjbq7 |
Mode: | factor |
Date: | Wed, 1 May 2013 18:24:06 |
Plain Text |
:: josephus' n [1,b] 0 [ [ k + ] dip mod ] reduce ;
: josephus2'
dup log2 2^ - 2 * ;
:: josephus
n 2 = [ k josephus2' ] [ n k josephus' ] if ;
Author: | Loryn Jenkins / mrjbq7 |
Mode: | factor |
Date: | Wed, 1 May 2013 18:29:52 |
Plain Text |
:: josephus'
n [1,b] 0 [ [ k + ] dip mod ] reduce ;
: josephus2'
dup log2 2^ - 2 * ;
:: josephus
k 2 = [ n josephus2' ] [ n k josephus' ] if ;
Author: | mrjbq7 |
Mode: | factor |
Date: | Wed, 1 May 2013 18:42:51 |
Plain Text |
USE: infix
INFIX:: josephus2
2*(n-2**log2(n)) ;
Author: | mrjbq7 |
Mode: | factor |
Date: | Wed, 1 May 2013 19:00:55 |
Plain Text |
USE: infix
ALIAS: def INFIX::
def josephus2
2*(n-2**log2(n)) ;
New Annotation