aboutsummaryrefslogtreecommitdiff
path: root/desiredata/extra/pureunity/locale/english.tcl
blob: 8dca411dcecda56cb9238b2526f61c5114acf9ca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

say_namespace summary {
  foreach {x y} {
    f "floating-point"
    ~ "signal"
    \# "grid"
  } {
    say_category basic<$x>
    say $x.do " ($y)"
    say $x.norm " ($y)"
    say $x.packunpack3 " ($y)"
    say $x.swap " ($y)"
    say $x.taa " ($y)"
  }

  say_category interfaces
  proc pu_say {} {
  }

  pu_say   antireflexive {t  } ""
  pu_say       reflexive {t  } ""

  pu_say     commutative {t  } ""
  pu_say anticommutative {t  } ""
  pu_say   antisymmetric {t  } ""

  pu_say     associative {t  } ""
  pu_say    distributive {t  } ""
  pu_say      invertible {t  } ""

  pu_say  partialorder   {t  } "partial order (open)"
  pu_say  partialordereq {t  } "partial order (closed)"
  pu_say    totalorder   {t  } "total order (open)"
  pu_say    totalordereq {t  } "total order (closed)"
  pu_say     equivalence {t  } "equivalence relation"

  pu_say      transitive {t  } "transitive: "
  pu_say      trichotomy {t  } "trichotomy: either equal or less or greater"
  pu_say       operator1 {t  } "1-input operator"
  pu_say       operator2 {t  } "2-input operator"

  say_category cancellators
  say  associator "(ab)c-a(bc)"
  say  commutator "ab-ba"
  say distributor "a&(b^c)-(ab^ac)"
  say    invertor "ab/b-a"

  say_category misc
  say twice ""
  say 3times ""
  say 4times ""
  say ^ "xor"
  say error ""
  say protocols-tree ""
  say tree ""
}