81D3D |
DUP
|
( ob → ob ob )
|
83728 |
DUPDUP
|
( ob → ob ob ob )
|
8304D |
NDUPN
|
( ob #n → ob..ob #n )
( ob #0 → #0 )
|
83A20 |
DUPROT
|
( 1 2 → 2 2 1 )
|
815C7 |
DUPUNROT
|
( 1 2 → 2 1 2 )
aka: SWAPOVER
|
83B60 |
DUPROLL
|
( 1..n #n → 1 3..n #n 2 )
|
83B4C |
DUPPICK
|
( n..1 #n → n..1 #n n-1 )
|
81D42 |
2DUP
|
( 1 2 → 1 2 1 2 )
|
8464B |
2DUP5ROLL
|
( 1 2 3 → 2 3 2 3 1 )
|
81D47 |
NDUP
|
( 1..n #n → 1..n 1..n )
|
81D51 |
DROP
|
( 1 → )
|
81545 |
DROPDUP
|
( 1 2 → 1 1 )
|
849B1 |
DROPNDROP
|
( 1..n #n ob → )
|
8152C |
DROPSWAP
|
( 1 2 3 → 2 1 )
|
83A34 |
DROPROT
|
( 1 2 3 4 → 2 3 1 )
|
83A98 |
DROPOVER
|
( 1 2 3 → 1 2 1 )
|
81D56 |
2DROP
|
( 1 2 → )
|
8149B |
3DROP
|
( 1 2 3 → )
aka: XYZ>
|
814AA |
4DROP
|
( 1..4 → )
aka: XYZW>
|
814BE |
5DROP
|
( 1..5 → )
|
814D2 |
6DROP
|
( 1..6 → )
|
81450 |
7DROP
|
( 1..7 → )
|
81D5B |
NDROP
|
( 1..n #n → )
|
839E4 |
#1+NDROP
|
( ob 1..n #n → )
aka: N+1DROP
|
81D38 |
DEPTH
|
( 1..n → 1..n #n )
|
830CF |
reversym
|
( 1..n #n → n..1 #n )
|
81D4C |
SWAP
|
( 1 2 → 2 1 )
|
81536 |
SWAPDUP
|
( 1 2 → 2 1 1 )
|
8425E |
SWAP2DUP
|
( 1 2 → 2 1 2 1 )
|
81455 |
SWAPDROP
|
( 1 2 → 2 )
aka: XY>Y
|
81554 |
SWAPDROPDUP
|
( 1 2 → 2 2 )
|
8144B |
SWAPROT
|
( 1 2 3 → 3 2 1 )
aka: UNROTSWAP , XYZ>ZYX
|
84637 |
SWAP4ROLL
|
( 1 2 3 4 → 2 4 3 1 )
aka: XYZW>YWZX
|
8465F |
SWAP3PICK
|
( 1 2 3 → 1 3 2 1 )
|
81374 |
2SWAP
|
( 1 2 3 4 → 3 4 1 2 )
|
81D60 |
ROT
|
( 1 2 3 → 2 3 1 )
|
8153B |
ROTDUP
|
( 1 2 3 → 2 3 1 1 )
|
836EC |
ROT2DUP
|
( 1 2 3 → 2 3 1 3 1 )
|
81446 |
ROTDROP
|
( 1 2 3 → 2 3 )
aka: XYZ>YZ
|
81531 |
ROT2DROP
|
( 1 2 3 → 2 )
aka: DROPSWAPDROP , XYZ>Y
|
81441 |
ROTDROPSWAP
|
( 1 2 3 → 3 2 )
aka: XYZ>ZY
|
8143C |
ROTSWAP
|
( 1 2 3 → 2 1 3 )
aka: XYZ>YXZ
|
8145F |
ROTROT2DROP
|
( 1 2 3 → 3 )
aka: UNROT2DROP , XYZ>Z
|
83714 |
ROTOVER
|
( 1 2 3 → 2 3 1 3 )
|
814B4 |
4ROLL
|
( 1 2 3 4 → 2 3 4 1 )
aka: FOURROLL , XYZW>YZWX
|
8393A |
4ROLLSWAP
|
( 1 2 3 4 → 2 3 1 4 )
|
83A70 |
4ROLLROT
|
( 1 2 3 4 → 2 4 1 3 )
aka: FOURROLLROT
|
83B10 |
4ROLLOVER
|
( 1 2 3 4 → 2 3 4 1 4 )
|
814C8 |
5ROLL
|
( 1 2 3 4 5 → 2 3 4 5 1 )
aka: FIVEROLL
|
815BD |
6ROLL
|
( 1..6 → 2..6 1 )
aka: SIXROLL
|
81379 |
7ROLL
|
( 1..7 → 2..7 1 )
aka: SEVENROLL
|
8137E |
8ROLL
|
( 1..8 → 2..8 1 )
aka: EIGHTROLL
|
8145A |
9ROLL
|
( 1..9 → 2..9 1 )
|
81D6F |
ROLL
|
( 1..n #n → 2..n 1 )
|
839F8 |
ROLLDROP
|
( 1..n #n → 2..n )
|
837B4 |
ROLLSWAP
|
( 1..n #n → 2..n-1 1 n )
|
814FA |
#1+ROLL
|
( ob 1..n #n → 1..n ob )
|
814FF |
#2+ROLL
|
( a b 1..n #n → b 1..n a )
|
814F5 |
#+ROLL
|
( 1..n+m #n #m → 2..n+m 1 )
|
814F0 |
#-ROLL
|
( 1..n-m #n #m → 2..n-m 1 )
|
815CC |
UNROT
|
( 1 2 3 → 3 1 2 )
aka: 3UNROLL , XYZ>ZXY
|
83764 |
UNROTDUP
|
( 1 2 3 → 3 1 2 1 )
|
81559 |
UNROTDROP
|
( 1 2 3 → 3 1 )
aka: SWAPDROPSWAP , XYZ>ZX
|
83AFC |
UNROTOVER
|
( 1 2 3 → 3 1 2 1 )
|
814A5 |
3UNROLL
|
( 1 2 3 → 3 1 2 )
aka: UNROT , XYZ>ZXY
|
814B9 |
4UNROLL
|
( 1 2 3 4 → 4 1 2 3 )
aka: FOURUNROLL , XYZW>WXYZ
|
83778 |
4UNROLLDUP
|
( 1 2 3 4 → 4 1 2 3 3 )
|
81464 |
4UNROLL3DROP
|
( 1 2 3 4 → 4 )
aka: XYZW>W
|
83A84 |
4UNROLLROT
|
( 1 2 3 4 → 4 3 2 1 )
|
814CD |
5UNROLL
|
( 1 2 3 4 5 → 5 1 2 3 4 )
aka: FIVEUNROLL
|
815C2 |
6UNROLL
|
( 1..6 → 6 1..5 )
aka: SIXUNROLL
|
83633 |
7UNROLL
|
( 1..7 → 7 1..6 )
|
83B88 |
8UNROLL
|
( 1..8 → 8 1..7 )
|
83B9C |
10UNROLL
|
( 1..10 → 10 1..9 )
|
81D74 |
UNROLL
|
( 1..n #n → n 1..n-1 )
|
8150E |
#1+UNROLL
|
( ob 1..n #n → n ob 1..n-1 )
|
81513 |
#2+UNROLL
|
( a b 1..n #n → n a b 1..n-1 )
|
81509 |
#+UNROLL
|
( 1..n+m #n #m → n+m 1..n+m-1 )
|
81504 |
#-UNROLL
|
( 1..n-m #n #m → n-m 1..n+m-1 )
|
81D65 |
OVER
|
( 1 2 → 1 2 1 )
|
8373C |
OVERDUP
|
( 1 2 → 1 2 1 1 )
|
837A0 |
OVERSWAP
|
( 1 2 → 1 1 2 )
aka: OVERUNROT
|
837A0 |
OVERUNROT
|
( 1 2 → 1 1 2 )
aka: OVERSWAP
|
8469B |
OVER5PICK
|
( 1 2 3 4 → 1 2 3 4 3 1 )
|
849C5 |
2OVER
|
( 1 2 3 4 → 1 2 3 4 1 2 )
|
814A0 |
3PICK
|
( 1 2 3 → 1 2 3 1 )
|
8394E |
3PICKSWAP
|
( 1 2 3 → 1 2 1 3 )
|
83B24 |
3PICKOVER
|
( 1 2 3 → 1 2 3 1 3 )
|
84673 |
3PICK3PICK
|
( 1 2 3 → 1 2 3 1 2 )
|
DDCFE |
4PICK
|
( 1 2 3 4 → 1 2 3 4 1 )
|
83962 |
4PICKSWAP
|
( 1 2 3 4 → 1 2 3 1 4 )
|
84687 |
SWAP4PICK
|
( 1 2 3 4 → 1 2 4 3 1 )
|
83B38 |
4PICKOVER
|
( 1 2 3 4 → 1 2 3 4 1 4 )
|
814C3 |
5PICK
|
( 1 2 3 4 5 → 1 2 3 4 5 1 )
|
814D7 |
6PICK
|
( 1..6 → 1..6 1 )
|
814DC |
7PICK
|
( 1..7 → 1..7 1 )
|
814E1 |
8PICK
|
( 1..8 → 1..8 1 )
|
814E6 |
9PICK
|
( 1..9 → 1..9 1 )
|
814EB |
10PICK
|
( 1..10 → 1..10 1 )
|
81D6A |
PICK
|
( 1..n #n → 1..n 1 )
|
81478 |
#1+PICK
|
( 1..n #n-1 → 1..n 1 )
|
8147D |
#2+PICK
|
( 1..n #n-2 → 1..n 1 )
|
81482 |
#3+PICK
|
( 1..n #n-3 → 1..n 1 )
|
81487 |
#4+PICK
|
( 1..n #n-4 → 1..n 1 )
|
81473 |
#+PICK
|
( 1..n+m #n #m → 1..n+m 1 )
|
8146E |
#-PICK
|
( 1..n-m #n #m → 1..n-m 1 )
|