now support both floats and signals everywhere

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

4 files changed, 117 insertions, 119 deletions

diff --git a/generics/associator.pd b/generics/associator.pd
index 38ff352..2fbef3f 100644
--- a/generics/associator.pd
+++ b/generics/associator.pd
@@ -1,40 +1,38 @@
 #N canvas 574 54 580 317 10;
-#X obj 18 182 -;
-#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 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 166 219 antiassociator;
-#X obj 18 153 t a a;
 #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;
+#X text 244 11 associativity rule for operator *=$2 is:;
+#X obj 102 108 \$1.do \$2;
+#X obj 102 134 \$1.do \$2;
+#X obj 18 104 \$1.do \$2;
+#X obj 18 123 \$1.do \$2;
+#X obj 18 153 \$1.taa;
+#X obj 18 182 \$1.do -;
+#X obj 168 182 \$1.do +;
+#X obj 18 61 \$1.packunpack3;
+#X connect 4 0 18 0;
+#X connect 5 0 18 1;
+#X connect 6 0 18 2;
+#X connect 11 0 12 1;
+#X connect 12 0 16 1;
+#X connect 12 0 17 1;
+#X connect 13 0 14 0;
+#X connect 14 0 15 0;
+#X connect 15 0 16 0;
+#X connect 15 1 17 0;
+#X connect 16 0 8 0;
+#X connect 17 0 9 0;
+#X connect 18 0 12 0;
+#X connect 18 0 13 0;
+#X connect 18 1 11 0;
+#X connect 18 1 13 1;
+#X connect 18 2 11 1;
+#X connect 18 2 14 1;
diff --git a/generics/commutator.pd b/generics/commutator.pd
index 1cc5785..050209e 100644
--- a/generics/commutator.pd
+++ b/generics/commutator.pd
@@ -1,41 +1,41 @@
 #N canvas 394 81 620 407 10;
-#X obj 18 210 -;
-#X obj 68 96 f;
-#X text 75 134 ba;
-#X text 33 103 ab;
-#X obj 18 38 t a b a;
-#X text 190 153 however \, this thing i call commutator is more general
+#X text 90 114 ba;
+#X text 33 93 ab;
+#X text 220 113 however \, this thing i call commutator is more general
 ;
-#X text 189 172 see commutative-test.pd;
-#X obj 18 141 t a a;
-#X obj 127 210 +;
-#X text 127 247 anticommutator;
-#X text 19 247 commutator;
+#X text 219 132 see commutative-test.pd;
+#X text 127 217 anticommutator;
+#X text 19 217 commutator;
 #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 219 72 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 text 219 92 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 18 199 \$1.outlet ab-ba;
+#X obj 127 199 \$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;
+#X obj 80 74 \$1.swap;
+#X obj 80 98 \$1.do \$2;
+#X obj 18 74 \$1.do \$2;
+#X obj 18 121 \$1.taa;
+#X obj 18 38 \$1.taa;
+#X obj 18 180 \$1.do -;
+#X obj 127 180 \$1.do +;
+#X connect 6 0 19 0;
+#X connect 14 0 15 1;
+#X connect 14 0 17 1;
+#X connect 15 0 16 0;
+#X connect 15 1 16 1;
+#X connect 16 0 20 1;
+#X connect 16 0 21 0;
+#X connect 17 0 18 0;
+#X connect 18 0 20 0;
+#X connect 18 1 21 1;
+#X connect 19 0 17 0;
+#X connect 19 1 15 0;
+#X connect 20 0 12 0;
+#X connect 21 0 13 0;
diff --git a/generics/distributor.pd b/generics/distributor.pd
index c871a05..6217b17 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 61 unpack 0 0 0;
-#X obj 18 42 pack 0 0 0;
-#X obj 182 182 +;
-#X obj 18 153 t a a;
-#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 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;
+#N canvas 414 247 580 318 10;
+#X text 183 92 see distributive-test.pd;
+#X text 183 69 when the distributor is 0 the rule is respected.;
+#X text 16 269 distributor;
+#X text 180 269 antidistributor;
 #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
+#X obj 18 251 \$1.outlet a(bc)-(ab+ac);
+#X obj 182 251 \$1.outlet a(bc)+(ab+ac);
+#X text 182 40 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;
+#X text 182 54 a \$3 (b \$2 c) - ((a \$3 b) \$2 (a \$3 c)) = 0;
+#X obj 18 169 \$1.do \$3;
+#X obj 25 146 \$1.do \$2;
+#X obj 124 184 \$1.do \$2;
+#X obj 184 184 \$1.do \$3;
+#X obj 124 165 \$1.do \$3;
+#X obj 182 232 \$1.do +;
+#X obj 18 232 \$1.do -;
+#X obj 18 193 \$1.taa;
+#X obj 18 80 \$1.taa;
+#X obj 55 99 \$1.taa;
+#X obj 18 61 \$1.packunpack3;
+#X connect 4 0 21 2;
+#X connect 5 0 21 1;
+#X connect 6 0 21 0;
+#X connect 11 0 18 0;
+#X connect 12 0 11 1;
+#X connect 13 0 16 1;
+#X connect 13 0 17 1;
+#X connect 14 0 13 1;
+#X connect 15 0 13 0;
+#X connect 16 0 8 0;
+#X connect 17 0 7 0;
+#X connect 18 0 17 0;
+#X connect 18 1 16 0;
+#X connect 19 0 11 0;
+#X connect 19 1 20 0;
+#X connect 20 0 15 0;
+#X connect 20 1 14 0;
+#X connect 21 0 19 0;
+#X connect 21 1 12 0;
+#X connect 21 1 15 1;
+#X connect 21 2 12 1;
+#X connect 21 2 14 1;
diff --git a/generics/invertor.pd b/generics/invertor.pd
index 074a5a7..f0abd65 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 text 185 60 when the invertor is 0 the rule is respected.;
 #X text 185 83 see invertible-test.pd;
 #X text 19 174 invertor;
 #X text 149 174 antiinvertor;
-#X obj 148 137 +;
-#X obj 18 115 t a a;
-#X obj 18 39 t a a;
 #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 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 obj 18 39 \$1.taa;
+#X obj 18 65 \$1.do \$2;
+#X obj 18 91 \$1.do \$3;
+#X obj 18 115 \$1.taa;
+#X obj 18 137 \$1.do -;
+#X obj 148 137 \$1.do +;
+#X connect 4 0 10 0;
+#X connect 5 0 11 1;
+#X connect 5 0 12 1;
+#X connect 10 0 11 0;
+#X connect 10 1 14 1;
+#X connect 10 1 15 1;
+#X connect 11 0 12 0;
 #X connect 12 0 13 0;
-#X connect 13 0 6 0;
+#X connect 13 0 14 0;
+#X connect 13 1 15 0;
+#X connect 14 0 6 0;
+#X connect 15 0 7 0;