Update of /cvsroot/pure-data/pd/extra/pureunity In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4963
Added Files: Tag: desiredata commutator.pd associator.pd distributor.pd invertor.pd Log Message: testers for properties of operator2
--- NEW FILE: invertor.pd --- #N canvas 336 387 602 199 10; #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 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 obj 18 19 inlet.$1 a; #X obj 101 19 inlet.$1 b; #X obj 18 39 taa.$1; #X obj 18 65 op2.$1 $2; #X obj 18 91 op2.$1 $3; #X obj 18 115 taa.$1; #X obj 18 137 op2.$1 -; #X obj 18 156 outlet.$1 (ab)/b-a; #X obj 148 156 outlet.$1 (ab)/b+a; #X obj 148 137 op2.$1 +; #X connect 6 0 8 0; #X connect 7 0 9 1; #X connect 7 0 10 1; #X connect 8 0 9 0; #X connect 8 1 12 1; #X connect 8 1 15 1; #X connect 9 0 10 0; #X connect 10 0 11 0; #X connect 11 0 12 0; #X connect 11 1 15 0; #X connect 12 0 13 0; #X connect 15 0 14 0;
--- NEW FILE: distributor.pd --- #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 text 182 40 distributivity rule for operator $3 over operator $2 is:; #X text 182 54 a $3 (b $2 c) - ((a $3 b) $2 (a $3 c)) = 0; #X obj 18 19 inlet.$1 a; #X obj 91 19 inlet.$1 b; #X obj 164 19 inlet.$1 c; #X obj 18 61 packunpack3.$1; #X obj 18 80 taa.$1; #X obj 55 99 taa.$1; #X obj 25 146 op2.$1 $2; #X obj 18 169 op2.$1 $3; #X obj 18 193 taa.$1; #X obj 18 232 op2.$1 -; #X obj 18 251 outlet.$1 a(bc)-(ab+ac); #X obj 182 251 outlet.$1 a(bc)+(ab+ac); #X obj 182 232 op2.$1 +; #X obj 184 184 op2.$1 $3; #X obj 124 165 op2.$1 $3; #X obj 124 184 op2.$1 $2; #X connect 6 0 9 0; #X connect 7 0 9 1; #X connect 8 0 9 2; #X connect 9 0 10 0; #X connect 9 1 12 0; #X connect 9 1 20 1; #X connect 9 2 12 1; #X connect 9 2 19 1; #X connect 10 0 13 0; #X connect 10 1 11 0; #X connect 11 0 20 0; #X connect 11 1 19 0; #X connect 12 0 13 1; #X connect 13 0 14 0; #X connect 14 0 15 0; #X connect 14 1 18 0; #X connect 15 0 16 0; #X connect 18 0 17 0; #X connect 19 0 21 1; #X connect 20 0 21 0; #X connect 21 0 15 1; #X connect 21 0 18 1;
--- NEW FILE: commutator.pd --- #N canvas 394 81 620 407 10; #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 219 132 see commutative-test.pd; #X text 127 217 anticommutator; #X text 19 217 commutator; #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 219 72 when $2=+ this is also known as a "group commutator" ; #X text 219 92 when $2=* this is also known as a "ring commutator" ; #X obj 18 19 inlet.$1 a; #X obj 93 19 inlet.$1 b; #X obj 18 38 taa.$1; #X obj 18 74 op2.$1 $2; #X obj 80 98 op2.$1 $2; #X obj 80 74 swap.$1; #X obj 18 180 op2.$1 -; #X obj 127 180 op2.$1 +; #X obj 18 199 outlet.$1 ab-ba; #X obj 127 199 outlet.$1 ab+ba; #X obj 18 121 taa.$1; #X connect 11 0 13 0; #X connect 12 0 14 1; #X connect 12 0 16 1; #X connect 13 0 14 0; #X connect 13 1 16 0; #X connect 14 0 21 0; #X connect 15 0 17 1; #X connect 15 0 18 0; #X connect 16 0 15 0; #X connect 16 1 15 1; #X connect 17 0 19 0; #X connect 18 0 20 0; #X connect 21 0 17 0; #X connect 21 1 18 1;
--- NEW FILE: associator.pd --- #N canvas 574 54 580 317 10; #X text 245 40 when the associator is 0 the rule is respected.; #X text 245 63 see associative-test.pd; #X text 16 219 associator; #X text 166 219 antiassociator; #X text 244 25 (a*b)*c - a*(b*c) = 0; #X text 244 11 associativity rule for operator *=$2 is:; #X obj 18 19 inlet.$1 a; #X obj 91 19 inlet.$1 b; #X obj 164 19 inlet.$1 c; #X obj 18 61 packunpack3.$1; #X obj 18 104 op2.$1 $2; #X obj 18 123 op2.$1 $2; #X obj 102 108 op2.$1 $2; #X obj 102 134 op2.$1 $2; #X obj 18 153 taa.$1; #X obj 18 182 op2.$1 -; #X obj 168 182 op2.$1 +; #X obj 168 201 outlet.$1 (ab)c+a(bc); #X obj 18 201 outlet.$1 (ab)c-a(bc); #X connect 6 0 9 0; #X connect 7 0 9 1; #X connect 8 0 9 2; #X connect 9 0 10 0; #X connect 9 0 13 0; #X connect 9 1 10 1; #X connect 9 1 12 0; #X connect 9 2 11 1; #X connect 9 2 12 1; #X connect 10 0 11 0; #X connect 11 0 14 0; #X connect 12 0 13 1; #X connect 13 0 15 1; #X connect 13 0 16 1; #X connect 14 0 15 0; #X connect 14 1 16 0; #X connect 15 0 18 0; #X connect 16 0 17 0;