.

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

2 files changed, 52 insertions, 0 deletions

diff --git a/generics/associator.pd b/generics/associator.pd
new file mode 100644
index 0000000..020dc12
--- /dev/null
+++ b/generics/associator.pd
@@ -0,0 +1,31 @@
+#N canvas 574 54 580 241 10;
+#X obj 18 162 -;
+#X obj 18 19 inlet a;
+#X obj 71 19 inlet b;
+#X text 214 11 associativity rule for operator \$1 is:;
+#X obj 124 19 inlet c;
+#X text 214 25 (a \$1 b) \$1 c - a \$1 (b \$1 c) = 0;
+#X obj 18 181 outlet (ab)c-a(bc);
+#X obj 18 61 unpack 0 0 0;
+#X obj 18 42 pack 0 0 0;
+#X obj 81 123 \$1;
+#X obj 56 123 \$1;
+#X obj 18 104 \$1;
+#X obj 18 123 \$1;
+#X text 215 40 when the associator is 0 the rule is respected.;
+#X text 215 63 see associative-test.pd;
+#X connect 0 0 6 0;
+#X connect 1 0 8 0;
+#X connect 2 0 8 1;
+#X connect 4 0 8 2;
+#X connect 7 0 10 0;
+#X connect 7 0 11 0;
+#X connect 7 1 9 0;
+#X connect 7 1 11 1;
+#X connect 7 2 9 1;
+#X connect 7 2 12 1;
+#X connect 8 0 7 0;
+#X connect 9 0 10 1;
+#X connect 10 0 0 1;
+#X connect 11 0 12 0;
+#X connect 12 0 0 0;
diff --git a/generics/invertor.pd b/generics/invertor.pd
new file mode 100644
index 0000000..87b6a96
--- /dev/null
+++ b/generics/invertor.pd
@@ -0,0 +1,21 @@
+#N canvas 282 67 620 168 10;
+#X obj 18 117 -;
+#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 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 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;