.

svn path=/trunk/abstractions/pureunity/; revision=4344

8 files changed, 88 insertions, 4 deletions

diff --git a/generics/antireflexive-test.pd b/generics/antireflexive-test.pd
new file mode 100644
index 0000000..7353dc6
--- /dev/null
+++ b/generics/antireflexive-test.pd
@@ -0,0 +1,13 @@
+#N canvas 0 0 450 164 10;
+#X obj 12 18 inlet;
+#X obj 12 118 outlet;
+#X obj 12 80 \$2;
+#X msg 12 37 2 2;
+#X obj 12 56 t a a;
+#X obj 12 99 == 0;
+#X connect 0 0 3 0;
+#X connect 2 0 5 0;
+#X connect 3 0 4 0;
+#X connect 4 0 2 0;
+#X connect 4 1 2 1;
+#X connect 5 0 1 0;
diff --git a/generics/f.norm.pd b/generics/f.norm.pd
index ad4f405..305f4ac 100644
--- a/generics/f.norm.pd
+++ b/generics/f.norm.pd
@@ -1,8 +1,8 @@
 #N canvas 462 350 544 148 10;
 #X obj 23 20 inlet f;
 #X obj 23 58 outlet f;
-#X obj 23 39 abs;
-#X text 101 18 \$1norm takes a value of type \$1 and produces a nonnegative
+#X text 101 18 \$1.norm takes a value of type \$1 and produces a nonnegative
 float \, normally using L2-norm formulas;
-#X connect 0 0 2 0;
-#X connect 2 0 1 0;
+#X obj 23 39 abs;
+#X connect 0 0 3 0;
+#X connect 3 0 1 0;
diff --git a/generics/partialorder-test.pd b/generics/partialorder-test.pd
new file mode 100644
index 0000000..65aff88
--- /dev/null
+++ b/generics/partialorder-test.pd
@@ -0,0 +1,14 @@
+#N canvas 118 56 450 189 10;
+#X obj 13 21 inlet;
+#X obj 13 141 outlet;
+#X obj 35 87 transitive-test \$1 \$2;
+#X obj 13 107 antisymmetric-test \$1 \$2;
+#X obj 57 67 antireflexive-test \$1 \$2;
+#X obj 13 41 t b b b;
+#X connect 0 0 5 0;
+#X connect 2 0 1 0;
+#X connect 3 0 1 0;
+#X connect 4 0 1 0;
+#X connect 5 0 3 0;
+#X connect 5 1 2 0;
+#X connect 5 2 4 0;
diff --git a/generics/partialordereq-test.pd b/generics/partialordereq-test.pd
new file mode 100644
index 0000000..39de970
--- /dev/null
+++ b/generics/partialordereq-test.pd
@@ -0,0 +1,14 @@
+#N canvas 118 56 450 182 10;
+#X obj 13 21 inlet;
+#X obj 13 131 outlet;
+#X obj 35 79 transitive-test \$1 \$2;
+#X obj 57 60 reflexive-test \$1 \$2;
+#X obj 13 98 antisymmetric-test \$1 \$2;
+#X obj 13 40 t b b b;
+#X connect 0 0 5 0;
+#X connect 2 0 1 0;
+#X connect 3 0 1 0;
+#X connect 4 0 1 0;
+#X connect 5 0 4 0;
+#X connect 5 1 2 0;
+#X connect 5 2 3 0;
diff --git a/generics/reflexive-test.pd b/generics/reflexive-test.pd
new file mode 100644
index 0000000..1ae836d
--- /dev/null
+++ b/generics/reflexive-test.pd
@@ -0,0 +1,13 @@
+#N canvas 0 0 450 161 10;
+#X obj 12 18 inlet;
+#X obj 12 120 outlet;
+#X obj 12 56 t a a;
+#X msg 12 37 2 2;
+#X obj 12 82 \$2;
+#X obj 12 101 == 1;
+#X connect 0 0 3 0;
+#X connect 2 0 4 0;
+#X connect 2 1 4 1;
+#X connect 3 0 2 0;
+#X connect 4 0 5 0;
+#X connect 5 0 1 0;
diff --git a/generics/totalorder-test.pd b/generics/totalorder-test.pd
new file mode 100644
index 0000000..9aa72fc
--- /dev/null
+++ b/generics/totalorder-test.pd
@@ -0,0 +1,11 @@
+#N canvas 118 56 418 157 10;
+#X obj 13 21 inlet;
+#X obj 13 101 outlet;
+#X obj 43 59 partialorder-test \$1 \$2;
+#X obj 13 78 trichotomy-test \$1 \$2;
+#X obj 13 40 t b b;
+#X connect 0 0 4 0;
+#X connect 2 0 1 0;
+#X connect 3 0 1 0;
+#X connect 4 0 3 0;
+#X connect 4 1 2 0;
diff --git a/generics/totalordereq-test.pd b/generics/totalordereq-test.pd
new file mode 100644
index 0000000..4c7372d
--- /dev/null
+++ b/generics/totalordereq-test.pd
@@ -0,0 +1,11 @@
+#N canvas 349 136 450 153 10;
+#X obj 13 21 inlet;
+#X obj 13 97 outlet;
+#X obj 13 78 trichotomy-test \$1 \$2;
+#X obj 43 59 partialordereq-test \$1 \$2;
+#X obj 13 40 t b b;
+#X connect 0 0 4 0;
+#X connect 2 0 1 0;
+#X connect 3 0 1 0;
+#X connect 4 0 2 0;
+#X connect 4 1 3 0;
diff --git a/generics/~.norm.pd b/generics/~.norm.pd
new file mode 100644
index 0000000..d429fc1
--- /dev/null
+++ b/generics/~.norm.pd
@@ -0,0 +1,8 @@
+#N canvas 462 350 544 148 10;
+#X obj 23 20 inlet~ f;
+#X obj 23 58 outlet f;
+#X text 101 18 \$1.norm takes a value of type \$1 and produces a nonnegative
+float \, normally using L2-norm formulas;
+#X obj 23 39 env~;
+#X connect 0 0 3 0;
+#X connect 3 0 1 0;