extra/math/unicode/unicode.factor

   1 ! Copyright (C) 2013 John Benediktsson
   2 ! See http://factorcode.org/license.txt for BSD license
   3
   4 USING: kernel math math.constants math.functions sequences sets
   5 sets.extras ;
   6
   7 IN: math.unicode
   8 CONSTANT: ½ 1/2
   9 CONSTANT: ¼ 1/4
  10 CONSTANT: ¾ 3/4
  11 CONSTANT: ⅓ 1/3
  12 CONSTANT: ⅔ 2/3
  13 CONSTANT: ⅕ 1/5
  14 CONSTANT: ⅖ 2/5
  15 CONSTANT: ⅗ 3/5
  16 CONSTANT: ⅘ 4/5
  17 CONSTANT: ⅙ 1/6
  18 CONSTANT: ⅚ 5/6
  19 CONSTANT: ⅛ 1/8
  20 CONSTANT: ⅜ 3/8
  21 CONSTANT: ⅝ 5/8
  22 CONSTANT: ⅞ 7/8
  23
  24 ALIAS: ≤ <=
  25 ALIAS: ≥ >=
  26
  27 : ≠ ( obj1 obj2 -- ? ) = not ; inline
  28
  29 ! Please don't use these
  30 ALIAS: − -
  31 ALIAS: ÷ /
  32 ALIAS: ∕ /
  33 ALIAS: × *
  34
  35 ALIAS: ⁿ ^
  36 : ¹ ( m -- n ) ; inline
  37 : ² ( m -- n ) 2 ⁿ ; inline
  38 : ³ ( m -- n ) 3 ⁿ ; inline
  39 ALIAS: √ sqrt
  40 : ∛ ( x -- y ) ⅓ ⁿ ; inline
  41 : ∜ ( x -- y ) ¼ ⁿ ; inline
  42
  43 ALIAS: ⌈ ceiling
  44 ALIAS: ⌊ floor
  45
  46 ALIAS: π pi
  47
  48 MEMO: φ ( -- n ) 5 √ 1 + 2 / ;
  49 CONSTANT: ∞ 1/0.
  50
  51 ALIAS: Π product
  52 ALIAS: Σ sum
  53
  54 : ‰ ( m -- n ) 1000 / ; inline
  55 : ‱ ( m -- n ) 10000 / ; inline
  56
  57 ALIAS: ¬ not
  58 ALIAS: ∧ and
  59 ALIAS: ∨ or
  60 : ⊽ ( obj1 obj2 -- ? ) ∨ ¬ ; inline
  61 : ⊼ ( obj1 obj2 -- ? ) ∧ ¬ ; inline
  62 ALIAS: ∀ all?
  63 ALIAS: ∃ any?
  64 ALIAS: ∄ none?
  65
  66 ALIAS: ∩ intersect
  67 ALIAS: ∪ union
  68 : ∋ ( seq elt -- ? ) swap member? ; inline
  69 ALIAS: ∈ member?
  70 : ∉ ( elt seq -- y ) ∈ not ; inline
  71 : ∌ ( seq elt -- y ) ∋ not ; inline
  72 ALIAS: ∖ diff
  73 ALIAS: ⊂ subset?
  74 ALIAS: ⊃ superset?
  75 : ⊄ ( set1 set2 -- ? ) ⊂ not ; inline
  76 : ⊅ ( set1 set2 -- ? ) ⊃ not ; inline