78 lines
1.5 KiB
Factor
78 lines
1.5 KiB
Factor
|
! Copyright (C) 2013 John Benediktsson
|
|||
|
|
! See http://factorcode.org/license.txt for BSD license
|
|||
|
|
|
|||
|
|
USING: kernel literals math math.constants math.functions
|
|||
|
|
memoize sequences sequences.extras sets sets.extras ;
|
|||
|
|
|
|||
|
|
IN: math.unicode
|
|||
|
|
|
|||
|
|
CONSTANT: ½ 1/2
|
|||
|
|
CONSTANT: ¼ 1/4
|
|||
|
|
CONSTANT: ¾ 3/4
|
|||
|
|
CONSTANT: ⅓ 1/3
|
|||
|
|
CONSTANT: ⅔ 2/3
|
|||
|
|
CONSTANT: ⅕ 1/5
|
|||
|
|
CONSTANT: ⅖ 2/5
|
|||
|
|
CONSTANT: ⅗ 3/5
|
|||
|
|
CONSTANT: ⅘ 4/5
|
|||
|
|
CONSTANT: ⅙ 1/6
|
|||
|
|
CONSTANT: ⅚ 5/6
|
|||
|
|
CONSTANT: ⅛ 1/8
|
|||
|
|
CONSTANT: ⅜ 3/8
|
|||
|
|
CONSTANT: ⅝ 5/8
|
|||
|
|
CONSTANT: ⅞ 7/8
|
|||
|
|
|
|||
|
|
ALIAS: ≤ <=
|
|||
|
|
ALIAS: ≥ >=
|
|||
|
|
|
|||
|
|
: ≠ ( obj1 obj2 -- ? ) = not ; inline
|
|||
|
|
|
|||
|
|
! Please don't use these
|
|||
|
|
ALIAS: − -
|
|||
|
|
ALIAS: ÷ /
|
|||
|
|
ALIAS: ∕ /
|
|||
|
|
ALIAS: × *
|
|||
|
|
|
|||
|
|
ALIAS: ⁿ ^
|
|||
|
|
: ¹ ( m -- n ) ; inline
|
|||
|
|
: ² ( m -- n ) 2 ⁿ ; inline
|
|||
|
|
: ³ ( m -- n ) 3 ⁿ ; inline
|
|||
|
|
ALIAS: √ sqrt
|
|||
|
|
: ∛ ( x -- y ) ⅓ ⁿ ; inline
|
|||
|
|
: ∜ ( x -- y ) ¼ ⁿ ; inline
|
|||
|
|
|
|||
|
|
ALIAS: ⌈ ceiling
|
|||
|
|
ALIAS: ⌊ floor
|
|||
|
|
|
|||
|
|
ALIAS: π pi
|
|||
|
|
|
|||
|
|
MEMO: φ ( -- n ) 5 √ 1 + 2 / ;
|
|||
|
|
CONSTANT: ∞ 1/0.
|
|||
|
|
|
|||
|
|
ALIAS: Π product
|
|||
|
|
ALIAS: Σ sum
|
|||
|
|
|
|||
|
|
: ‰ ( m -- n ) 1000 / ; inline
|
|||
|
|
: ‱ ( m -- n ) 10000 / ; inline
|
|||
|
|
|
|||
|
|
ALIAS: ¬ not
|
|||
|
|
ALIAS: ∧ and
|
|||
|
|
ALIAS: ∨ or
|
|||
|
|
: ⊽ ( obj1 obj2 -- ? ) ∨ ¬ ; inline
|
|||
|
|
: ⊼ ( obj1 obj2 -- ? ) ∧ ¬ ; inline
|
|||
|
|
ALIAS: ∀ all?
|
|||
|
|
ALIAS: ∃ any?
|
|||
|
|
ALIAS: ∄ none?
|
|||
|
|
|
|||
|
|
ALIAS: ∩ intersect
|
|||
|
|
ALIAS: ∪ union
|
|||
|
|
: ∋ ( seq elt -- ? ) swap member? ; inline
|
|||
|
|
ALIAS: ∈ member?
|
|||
|
|
: ∉ ( elt seq -- y ) ∈ not ; inline
|
|||
|
|
: ∌ ( seq elt -- y ) ∋ not ; inline
|
|||
|
|
ALIAS: ∖ diff
|
|||
|
|
ALIAS: ⊂ subset?
|
|||
|
|
ALIAS: ⊃ superset?
|
|||
|
|
: ⊄ ( set1 set2 -- ? ) ⊂ not ; inline
|
|||
|
|
: ⊅ ( set1 set2 -- ? ) ⊃ not ; inline
|