From 45fdec1f59c9fa3150f01ad4da16d9eb0d707be6 Mon Sep 17 00:00:00 2001 From: "N.N." Date: Sat, 31 Dec 2005 14:38:12 +0000 Subject: . svn path=/trunk/abstractions/pureunity/; revision=4323 --- generics/associator.pd | 31 +++++++++++++++++++++++++++++++ generics/invertor.pd | 21 +++++++++++++++++++++ 2 files changed, 52 insertions(+) create mode 100644 generics/associator.pd create mode 100644 generics/invertor.pd 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; -- cgit v1.2.1