[PD-cvs] pd/extra/pureunity commutator.pd, NONE, 1.1.2.1 associator.pd, NONE, 1.1.2.1 distributor.pd, NONE, 1.1.2.1 invertor.pd, NONE, 1.1.2.1

[Mathieu Bouchard]

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;