#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 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 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 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 14 0;
#X connect 13 1 15 0;
#X connect 14 0 6 0;
#X connect 15 0 7 0;