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