#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;