Update of /cvsroot/pure-data/abstractions/pureunity/generics In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10736
Modified Files: commutator.pd associator.pd invertor.pd distributor.pd Log Message: now using polymorphic inlets & outlets: [$1.inlet] [$1.outlet]
Index: invertor.pd =================================================================== RCS file: /cvsroot/pure-data/abstractions/pureunity/generics/invertor.pd,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** invertor.pd 31 Dec 2005 22:34:50 -0000 1.3 --- invertor.pd 2 Jan 2006 01:40:45 -0000 1.4 *************** *** 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 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 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; --- 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 connect 12 0 13 0; ! #X connect 13 0 6 0;
Index: distributor.pd =================================================================== RCS file: /cvsroot/pure-data/abstractions/pureunity/generics/distributor.pd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** distributor.pd 31 Dec 2005 22:34:50 -0000 1.2 --- distributor.pd 2 Jan 2006 01:40:45 -0000 1.3 *************** *** 1,20 **** #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 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 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 obj 116 113 $2; #X obj 91 112 $2; --- 1,12 ---- #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; *************** *** 23,46 **** #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; --- 15,46 ---- #X obj 18 106 $2; #X obj 18 80 t a a a; ! #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;
Index: commutator.pd =================================================================== RCS file: /cvsroot/pure-data/abstractions/pureunity/generics/commutator.pd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** commutator.pd 31 Dec 2005 16:19:37 -0000 1.2 --- commutator.pd 2 Jan 2006 01:40:45 -0000 1.3 *************** *** 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 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; --- 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 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 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;
Index: associator.pd =================================================================== RCS file: /cvsroot/pure-data/abstractions/pureunity/generics/associator.pd,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** associator.pd 31 Dec 2005 16:19:21 -0000 1.2 --- associator.pd 2 Jan 2006 01:40:45 -0000 1.3 *************** *** 1,10 **** ! #N canvas 574 54 580 241 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; --- 1,4 ---- ! #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; *************** *** 13,40 **** #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 16 219 associator; ! #X text 146 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; --- 7,40 ---- #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;