#math.unicode
this thing is a golfing jewel. http://docs.factorcode.org/content/vocab-math.unicode.html
Here, I should let it speak for itself.
Word Stack effect Equivalent (Byte Char) Savings (best case)
¬ ( obj -- ? ) not 1 2
² ( m -- n ) 2 ^ , 2^ 1 2
³ ( m -- n ) 3 ^ 1 2
¹ ( m -- n ) 1 ^ 1 2
¼ ( -- value ) 1/4 , 1 4 / 1 2
½ ( -- value ) 1/2 1 2
¾ ( -- value ) 3/4 1 2
× ( x y -- z ) * -1 0
÷ ( x y -- z ) / -1 0
Π ( seq -- n ) product 5 6
Σ ( seq -- n ) sum 1 2
π ( -- pi ) pi 0 0
φ ( -- n ) phi 1 2
‰ ( m -- n ) 1000 / 4 5
‱ ( m -- n ) 10000 / 5 6
ⁿ ( x y -- z ) ^ -1 0
⅓ ( -- value ) 1/3 1 2
⅔ ( -- value ) 2/3 1 2
⅕ ( -- value ) 1/5 1 2
⅖ ( -- value ) 2/5 1 2
⅗ ( -- value ) 3/5 1 2
⅘ ( -- value ) 4/5 1 2
⅙ ( -- value ) 1/6 1 2
⅚ ( -- value ) 5/6 1 2
⅛ ( -- value ) 1/8 1 2
⅜ ( -- value ) 3/8 1 2
⅝ ( -- value ) 5/8 1 2
⅞ ( -- value ) 7/8 1 2
Those are the simple constants. Now for the functions:
Word Stack effect Equivalent (Byte Char) Savings (best case)
∀ ( seq quot -- ? ) all? 1 3
∃ ( seq quot -- ? ) any? 1 3
∄ ( seq quot -- ? ) none? 2 4
∈ ( elt seq -- ? ) member? 4 6
∉ ( elt seq -- y ) ∈ ¬ 3 2
∋ ( seq elt -- ? ) swap member? 9 11
∌ ( seq elt -- y ) ∋ ¬ 3 2
− ( x y -- z ) - -1 0
∕ ( x y -- z ) / -1 0
∖ ( s1 s2 -- set ) diff 1 3
√ ( x -- y ) sqrt 1 3
∛ ( x -- y ) ⅓ ^ 2 2
∜ ( x -- y ) ¼ ^ 2 2
∞ ( -- value ) 1/0. 1 3
∧ ( o1 o2 -- ? ) and 0 2
∨ ( o1 o2 -- ? ) or -1 1
∩ ( s1 s2 -- set ) intersect 6 8
∪ ( s1 s2 -- set ) union 2 4
≠ ( o1 o2 -- ? ) = ¬ 1 2
≤ ( x y -- ? ) <= -1 1
≥ ( x y -- ? ) >= -1 1
⊂ ( s1 s2 -- ? ) subset? 4 6
⊃ ( s1 s2 -- ? ) superset? 6 8
⊄ ( s1 s2 -- ? ) ⊂ ¬ 3 2
⊅ ( s1 s2 -- ? ) ⊃ ¬ 3 2
⊼ ( o1 o2 -- ? ) ∧ ¬ 3 2
⊽ ( o1 o2 -- ? ) or ¬ 2 3
⌈ ( x -- y ) floor 2 4
⌊ ( x -- y ) ceiling 4 6
Yes, I did make that table by hand, and yes, I did the math in my head, so there might be some, er, wrong numbers. I'll go write a program to do it for me, now :P
