blob: d079e21f2841c56aee09377b01a33cf430d87348 (
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
57
|
say_namespace summary {
foreach {x y} {
f "floating-point"
~ "signal"
\# "grid"
} {
say_category basic<$x>
say ~.do ""
say ~.norm ""
say ~.packunpack3 ""
say ~ ""
say ~.swap ""
say ~.taa ""
}
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 ^ ""
say error ""
say protocols-tree ""
say tree ""
}
|
