now using polymorphic inlets & outlets: [$1.inlet] [$1.outlet]

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

4 files changed, 117 insertions, 117 deletions

diff --git a/generics/associator.pd b/generics/associator.pd
index bbe0f1f..38ff352 100644
--- a/generics/associator.pd
+++ b/generics/associator.pd
@@ -1,40 +1,40 @@
-#N canvas 574 54 580 241 10;
+#N canvas 574 54 580 317 10;
 #X obj 18 182 -;
-#X obj 18 19 inlet a;
-#X obj 71 19 inlet b;
-#X text 214 11 associativity rule for operator \$1 is:;
-#X obj 124 19 inlet c;
-#X text 214 25 (a \$1 b) \$1 c - a \$1 (b \$1 c) = 0;
-#X obj 18 201 outlet (ab)c-a(bc);
 #X obj 18 61 unpack 0 0 0;
 #X obj 18 42 pack 0 0 0;
 #X obj 81 123 \$1;
 #X obj 56 123 \$1;
 #X obj 18 104 \$1;
 #X obj 18 123 \$1;
-#X text 215 40 when the associator is 0 the rule is respected.;
-#X text 215 63 see associative-test.pd;
-#X obj 148 182 +;
+#X text 245 40 when the associator is 0 the rule is respected.;
+#X text 245 63 see associative-test.pd;
+#X obj 168 182 +;
 #X text 16 219 associator;
-#X text 146 219 antiassociator;
+#X text 166 219 antiassociator;
 #X obj 18 153 t a a;
-#X obj 148 201 outlet (ab)c+a(bc);
-#X connect 0 0 6 0;
-#X connect 1 0 8 0;
-#X connect 2 0 8 1;
-#X connect 4 0 8 2;
-#X connect 7 0 10 0;
-#X connect 7 0 11 0;
-#X connect 7 1 9 0;
-#X connect 7 1 11 1;
-#X connect 7 2 9 1;
-#X connect 7 2 12 1;
-#X connect 8 0 7 0;
-#X connect 9 0 10 1;
-#X connect 10 0 0 1;
-#X connect 10 0 15 1;
-#X connect 11 0 12 0;
-#X connect 12 0 18 0;
-#X connect 15 0 19 0;
-#X connect 18 0 0 0;
-#X connect 18 1 15 0;
+#X obj 18 19 \$1.inlet a;
+#X obj 91 19 \$1.inlet b;
+#X obj 164 19 \$1.inlet c;
+#X text 244 11 associativity rule for operator *=$1 is:;
+#X text 244 25 (a*b)*c - a*(b*c) = 0;
+#X obj 18 201 \$1.outlet (ab)c-a(bc);
+#X obj 168 201 \$1.outlet (ab)c+a(bc);
+#X connect 0 0 18 0;
+#X connect 1 0 4 0;
+#X connect 1 0 5 0;
+#X connect 1 1 3 0;
+#X connect 1 1 5 1;
+#X connect 1 2 3 1;
+#X connect 1 2 6 1;
+#X connect 2 0 1 0;
+#X connect 3 0 4 1;
+#X connect 4 0 0 1;
+#X connect 4 0 9 1;
+#X connect 5 0 6 0;
+#X connect 6 0 12 0;
+#X connect 9 0 19 0;
+#X connect 12 0 0 0;
+#X connect 12 1 9 0;
+#X connect 13 0 2 0;
+#X connect 14 0 2 1;
+#X connect 15 0 2 2;
diff --git a/generics/commutator.pd b/generics/commutator.pd
index 35559b0..1cc5785 100644
--- a/generics/commutator.pd
+++ b/generics/commutator.pd
@@ -1,41 +1,41 @@
 #N canvas 394 81 620 407 10;
-#X obj 18 84 \$1;
 #X obj 18 210 -;
-#X obj 68 115 \$1;
 #X obj 68 96 f;
-#X obj 18 19 inlet a;
-#X obj 84 32 inlet b;
 #X text 75 134 ba;
 #X text 33 103 ab;
 #X obj 18 38 t a b a;
-#X text 218 15 commutativity rule for operator \$1 is: a \$1 b = b
-\$1 a;
-#X text 218 32 which is also a \$1 b - b \$1 a = 0;
-#X text 218 48 the commutator is a \$1 b - b \$1 a;
-#X obj 18 229 outlet ab-ba;
-#X text 189 112 when \$1 = + this is also known as a "group commutator"
-;
-#X text 189 132 when \$1 = * this is also known as a "ring commutator"
-;
 #X text 190 153 however \, this thing i call commutator is more general
 ;
 #X text 189 172 see commutative-test.pd;
-#X obj 106 229 outlet ab+ba;
 #X obj 18 141 t a a;
-#X obj 106 210 +;
-#X text 106 247 anticommutator;
+#X obj 127 210 +;
+#X text 127 247 anticommutator;
 #X text 19 247 commutator;
-#X connect 0 0 18 0;
-#X connect 1 0 12 0;
-#X connect 2 0 1 1;
-#X connect 2 0 19 0;
-#X connect 3 0 2 0;
-#X connect 4 0 8 0;
-#X connect 5 0 3 1;
-#X connect 5 0 0 1;
-#X connect 8 0 0 0;
-#X connect 8 1 3 0;
-#X connect 8 2 2 1;
-#X connect 18 0 1 0;
-#X connect 18 1 19 1;
-#X connect 19 0 17 0;
+#X obj 18 19 \$1.inlet a;
+#X text 218 15 Say operator \$2 is *. Then the commutativity rule is:
+;
+#X text 218 32 a*b=b*a which is also a*b-b*a = 0;
+#X text 218 48 the commutator is a*b - b*a;
+#X text 189 112 when \$2=+ this is also known as a "group commutator"
+;
+#X text 189 132 when \$2=* this is also known as a "ring commutator"
+;
+#X obj 18 229 \$1.outlet ab-ba;
+#X obj 127 229 \$1.outlet ab+ba;
+#X obj 93 19 \$1.inlet b;
+#X obj 68 115 \$2;
+#X obj 18 84 \$2;
+#X connect 0 0 17 0;
+#X connect 1 0 20 0;
+#X connect 4 0 21 0;
+#X connect 4 1 1 0;
+#X connect 4 2 20 1;
+#X connect 7 0 0 0;
+#X connect 7 1 8 1;
+#X connect 8 0 18 0;
+#X connect 11 0 4 0;
+#X connect 19 0 1 1;
+#X connect 19 0 21 1;
+#X connect 20 0 0 1;
+#X connect 20 0 8 0;
+#X connect 21 0 7 0;
diff --git a/generics/distributor.pd b/generics/distributor.pd
index cb233b1..c871a05 100644
--- a/generics/distributor.pd
+++ b/generics/distributor.pd
@@ -1,46 +1,46 @@
 #N canvas 441 449 580 241 10;
 #X obj 18 182 -;
-#X obj 18 19 inlet a;
-#X obj 71 19 inlet b;
-#X obj 124 19 inlet c;
 #X obj 18 61 unpack 0 0 0;
 #X obj 18 42 pack 0 0 0;
-#X obj 162 182 +;
+#X obj 182 182 +;
 #X obj 18 153 t a a;
-#X text 185 73 see distributive-test.pd;
-#X text 184 21 distributivity rule for operator \$2 over operator \$1
-is:;
-#X text 184 35 a \$2 (b \$1 c) - ((a \$2 b) \$1 (a \$2 c)) = 0;
-#X text 185 50 when the distributor is 0 the rule is respected.;
+#X text 185 123 see distributive-test.pd;
+#X text 185 100 when the distributor is 0 the rule is respected.;
 #X text 16 219 distributor;
-#X text 160 219 antidistributor;
-#X obj 162 201 outlet a(bc)+(ab+ac);
-#X obj 18 201 outlet a(bc)-(ab+ac);
+#X text 180 219 antidistributor;
 #X obj 116 113 \$2;
 #X obj 91 112 \$2;
 #X obj 95 133 \$1;
 #X obj 43 106 \$1;
 #X obj 18 106 \$2;
 #X obj 18 80 t a a a;
-#X connect 0 0 15 0;
-#X connect 1 0 5 0;
-#X connect 2 0 5 1;
-#X connect 3 0 5 2;
-#X connect 4 0 21 0;
-#X connect 4 1 17 1;
-#X connect 4 1 19 0;
-#X connect 4 2 16 1;
-#X connect 4 2 19 1;
-#X connect 5 0 4 0;
-#X connect 6 0 14 0;
-#X connect 7 0 0 0;
-#X connect 7 1 6 0;
-#X connect 16 0 18 1;
-#X connect 17 0 18 0;
-#X connect 18 0 6 1;
-#X connect 18 0 0 1;
-#X connect 19 0 20 1;
-#X connect 20 0 7 0;
-#X connect 21 0 20 0;
-#X connect 21 1 17 0;
-#X connect 21 2 16 0;
+#X obj 164 19 \$1.inlet c;
+#X obj 91 19 \$1.inlet b;
+#X obj 18 19 \$1.inlet a;
+#X obj 18 201 \$1.outlet a(bc)-(ab+ac);
+#X obj 182 201 \$1.outlet a(bc)+(ab+ac);
+#X text 184 71 distributivity rule for operator \$3 over operator \$2
+is:;
+#X text 184 85 a \$3 (b \$2 c) - ((a \$3 b) \$2 (a \$3 c)) = 0;
+#X connect 0 0 18 0;
+#X connect 1 0 14 0;
+#X connect 1 1 10 1;
+#X connect 1 1 12 0;
+#X connect 1 2 9 1;
+#X connect 1 2 12 1;
+#X connect 2 0 1 0;
+#X connect 3 0 19 0;
+#X connect 4 0 0 0;
+#X connect 4 1 3 0;
+#X connect 9 0 11 1;
+#X connect 10 0 11 0;
+#X connect 11 0 3 1;
+#X connect 11 0 0 1;
+#X connect 12 0 13 1;
+#X connect 13 0 4 0;
+#X connect 14 0 13 0;
+#X connect 14 1 10 0;
+#X connect 14 2 9 0;
+#X connect 15 0 2 2;
+#X connect 16 0 2 1;
+#X connect 17 0 2 0;
diff --git a/generics/invertor.pd b/generics/invertor.pd
index d5654d7..074a5a7 100644
--- a/generics/invertor.pd
+++ b/generics/invertor.pd
@@ -1,30 +1,30 @@
 #N canvas 336 387 602 199 10;
 #X obj 18 137 -;
-#X obj 18 19 inlet a;
-#X obj 71 19 inlet b;
-#X obj 18 65 \$1;
-#X text 184 45 (a \$1 b) \$2 b - a = 0;
 #X text 185 60 when the invertor is 0 the rule is respected.;
 #X text 185 83 see invertible-test.pd;
-#X obj 18 91 \$2;
-#X obj 18 156 outlet (ab)/b-a;
 #X text 19 174 invertor;
-#X text 129 174 antiinvertor;
-#X obj 128 137 +;
+#X text 149 174 antiinvertor;
+#X obj 148 137 +;
 #X obj 18 115 t a a;
-#X obj 128 156 outlet (ab)/b+a;
-#X text 184 11 invertibility rule for operator \$1 with (presumed)
-right-inverse \$2 is:;
 #X obj 18 39 t a a;
-#X connect 0 0 8 0;
-#X connect 1 0 15 0;
-#X connect 2 0 3 1;
-#X connect 2 0 7 1;
-#X connect 3 0 7 0;
+#X obj 18 19 \$1.inlet a;
+#X obj 101 19 \$1.inlet b;
+#X obj 18 156 \$1.outlet (ab)/b-a;
+#X obj 148 156 \$1.outlet (ab)/b+a;
+#X obj 18 65 \$2;
+#X obj 18 91 \$3;
+#X text 184 11 invertibility rule for operator \$2 with (presumed)
+right-inverse \$3 is:;
+#X text 184 45 (a \$2 b) \$3 b - a = 0;
+#X connect 0 0 10 0;
+#X connect 5 0 11 0;
+#X connect 6 0 0 0;
+#X connect 6 1 5 0;
 #X connect 7 0 12 0;
-#X connect 11 0 13 0;
-#X connect 12 0 0 0;
-#X connect 12 1 11 0;
-#X connect 15 0 3 0;
-#X connect 15 1 0 1;
-#X connect 15 1 11 1;
+#X connect 7 1 0 1;
+#X connect 7 1 5 1;
+#X connect 8 0 7 0;
+#X connect 9 0 12 1;
+#X connect 9 0 13 1;
+#X connect 12 0 13 0;
+#X connect 13 0 6 0;