.

svn path=/trunk/abstractions/pureunity/; revision=4329

2 files changed, 52 insertions, 15 deletions

diff --git a/generics/invertible-test.pd b/generics/invertible-test.pd
new file mode 100644
index 0000000..c488895
--- /dev/null
+++ b/generics/invertible-test.pd
@@ -0,0 +1,28 @@
+#N canvas 665 86 452 291 10;
+#X obj 40 15 inlet bang;
+#X obj 40 79 unpack 0 0;
+#X obj 33 122 abs;
+#X obj 33 151 /;
+#X msg 40 34 1 3;
+#X obj 33 170 t a a;
+#X obj 33 208 pack 0 0;
+#X obj 33 246 outlet;
+#X text 217 24 with tolerance 0;
+#X obj 33 189 <= 0;
+#X obj 112 122 abs;
+#X obj 33 103 invertor + -;
+#X text 215 9 This test verifies that 1+3-3=1;
+#X msg 33 227 list invertible1 \$1 \$2 -;
+#X connect 0 0 4 0;
+#X connect 1 0 11 0;
+#X connect 1 1 11 1;
+#X connect 2 0 3 0;
+#X connect 3 0 5 0;
+#X connect 4 0 1 0;
+#X connect 5 0 9 0;
+#X connect 5 1 6 1;
+#X connect 6 0 13 0;
+#X connect 9 0 6 0;
+#X connect 10 0 3 1;
+#X connect 11 0 2 0;
+#X connect 13 0 7 0;
diff --git a/generics/invertor.pd b/generics/invertor.pd
index 87b6a96..ee2734a 100644
--- a/generics/invertor.pd
+++ b/generics/invertor.pd
@@ -1,21 +1,30 @@
-#N canvas 282 67 620 168 10;
-#X obj 18 117 -;
+#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 25 (a \$1 b) \$2 b - a = 0;
-#X text 185 40 when the invertor is 0 the rule is respected.;
-#X text 185 63 see invertible-test.pd;
-#X text 184 11 invertibility rule for operator \$1 with right-inverse
-\$2 is:;
+#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 39 t b a;
-#X obj 18 136 outlet (ab)/b-a;
-#X connect 0 0 10 0;
-#X connect 1 0 9 0;
+#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 connect 0 0 9 0;
+#X connect 1 0 8 0;
 #X connect 2 0 3 1;
-#X connect 2 0 8 1;
-#X connect 3 0 8 0;
-#X connect 8 0 0 0;
-#X connect 9 0 3 0;
-#X connect 9 1 0 1;
+#X connect 2 0 7 1;
+#X connect 3 0 7 0;
+#X connect 7 0 13 0;
+#X connect 8 0 3 0;
+#X connect 8 1 0 1;
+#X connect 8 1 12 1;
+#X connect 12 0 14 0;
+#X connect 13 0 0 0;
+#X connect 13 1 12 0;