Update of /cvsroot/pure-data/externals/pureunity/generics In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv22646
Added Files: 3times.pd 4times.pd associator.pd commutator.pd distributor.pd invertor.pd protocols-tree.pd tree.pd Log Message: extern alle im Punity
--- NEW FILE: 3times.pd --- #N canvas 330 193 379 266 10; #X obj 20 16 inlet; #X obj 69 108 inlet; #X obj 108 108 inlet; #X obj 20 35 route bang; #X obj 46 241 outlet; #X obj 46 130 $1 $2; #X obj 85 130 $1 $3; #X obj 85 170 route float; #X obj 46 190 route float; #X obj 20 54 t b b b; #X obj 147 108 inlet; #X obj 124 130 $1 $4; #X obj 124 150 route float; #X obj 118 211 pack s s s; #X obj 46 209 pack 0 0 0; #X obj 85 54 t a a a; #X connect 0 0 3 0; #X connect 1 0 5 1; #X connect 2 0 6 1; #X connect 3 0 9 0; #X connect 3 1 15 0; #X connect 5 0 8 0; #X connect 6 0 7 0; #X connect 7 0 14 1; #X connect 7 1 13 1; #X connect 8 0 14 0; #X connect 8 1 13 0; #X connect 9 0 5 0; #X connect 9 1 6 0; #X connect 9 2 11 0; #X connect 10 0 11 1; #X connect 11 0 12 0; #X connect 12 0 14 2; #X connect 12 1 13 2; #X connect 13 0 4 0; #X connect 14 0 4 0; #X connect 15 0 5 0; #X connect 15 1 6 0; #X connect 15 2 11 0;
--- NEW FILE: protocols-tree.pd --- #N canvas 436 170 813 546 10; #X obj 19 43 inlet; #X obj 19 152 r $0-out; #X obj 79 100 symbol $0-out; #X obj 19 171 outlet; #X text 20 15 the direction of flow indicates "inherits from"; #X obj 192 146 tree $0 commutative; #X obj 19 100 pack s s; #X obj 79 81 loadbang; #X obj 19 62 makefilename $0-%s; #X obj 423 157 tree $0 reflexive; #X obj 594 157 tree $0 antireflexive; #X obj 423 135 tree $0 partialorder; #X obj 594 135 tree $0 partialordereq; #X obj 423 90 tree $0 totalorder; #X obj 594 91 tree $0 totalordereq; #X obj 380 54 tree $0 equivalence; #X obj 458 455 tree $0 associative; #X obj 486 355 tree $0 distributive; #X obj 474 409 tree $0 invertible; #X obj 512 115 tree $0 trichotomy; #X obj 380 220 tree $0 transitive; #X obj 458 436 tree $0 semigroup ?; #X obj 458 381 tree $0 group ?; #X obj 622 184 tree $0 antisymmetric2 ?; #X obj 480 330 tree $0 ring ?; #X obj 432 185 tree $0 antisymmetric ?; #X obj 192 166 tree $0 anticommutative; #X obj 480 310 tree $0 field ?; #X obj 423 276 tree $0 relation; #X msg 19 119 ; $1 symbol $2; #X connect 0 0 8 0; #X connect 1 0 3 0; #X connect 2 0 6 1; #X connect 6 0 29 0; #X connect 7 0 2 0; #X connect 8 0 6 0; #X connect 9 0 28 0; #X connect 10 0 23 0; #X connect 10 0 28 0; #X connect 11 0 9 0; #X connect 11 0 20 0; #X connect 11 0 25 0; #X connect 12 0 10 0; #X connect 12 0 20 0; #X connect 13 0 11 0; #X connect 13 0 19 0; #X connect 14 0 12 0; #X connect 14 0 19 0; #X connect 15 0 5 0; #X connect 15 0 9 0; #X connect 15 0 20 0; #X connect 20 0 28 0; #X connect 21 0 16 0; #X connect 22 0 18 0; #X connect 22 0 21 0; #X connect 24 0 17 0; #X connect 24 0 22 0; #X connect 27 0 24 0;
--- NEW FILE: associator.pd --- #N canvas 574 54 580 317 10; #X text 245 40 when the associator is 0 the rule is respected.; #X text 245 63 see associative-test.pd; #X text 16 219 associator; #X text 166 219 antiassociator; #X obj 18 19 $1.inlet a; #X obj 91 19 $1.inlet b; #X obj 164 19 $1.inlet c; #X text 244 25 (a*b)*c - a*(b*c) = 0; #X obj 18 201 $1.outlet (ab)c-a(bc); #X obj 168 201 $1.outlet (ab)c+a(bc); #X text 244 11 associativity rule for operator *=$2 is:; #X obj 102 108 $1.do $2; #X obj 102 134 $1.do $2; #X obj 18 104 $1.do $2; #X obj 18 123 $1.do $2; #X obj 18 153 $1.taa; #X obj 18 182 $1.do -; #X obj 168 182 $1.do +; #X obj 18 61 $1.packunpack3; #X connect 4 0 18 0; #X connect 5 0 18 1; #X connect 6 0 18 2; #X connect 11 0 12 1; #X connect 12 0 16 1; #X connect 12 0 17 1; #X connect 13 0 14 0; #X connect 14 0 15 0; #X connect 15 0 16 0; #X connect 15 1 17 0; #X connect 16 0 8 0; #X connect 17 0 9 0; #X connect 18 0 12 0; #X connect 18 0 13 0; #X connect 18 1 11 0; #X connect 18 1 13 1; #X connect 18 2 11 1; #X connect 18 2 14 1;
--- NEW FILE: commutator.pd --- #N canvas 394 81 620 407 10; #X text 90 114 ba; #X text 33 93 ab; #X text 220 113 however , this thing i call commutator is more general ; #X text 219 132 see commutative-test.pd; #X text 127 217 anticommutator; #X text 19 217 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 219 72 when $2=+ this is also known as a "group commutator" ; #X text 219 92 when $2=* this is also known as a "ring commutator" ; #X obj 18 199 $1.outlet ab-ba; #X obj 127 199 $1.outlet ab+ba; #X obj 93 19 $1.inlet b; #X obj 80 74 $1.swap; #X obj 80 98 $1.do $2; #X obj 18 74 $1.do $2; #X obj 18 121 $1.taa; #X obj 18 38 $1.taa; #X obj 18 180 $1.do -; #X obj 127 180 $1.do +; #X connect 6 0 19 0; #X connect 14 0 15 1; #X connect 14 0 17 1; #X connect 15 0 16 0; #X connect 15 1 16 1; #X connect 16 0 20 1; #X connect 16 0 21 0; #X connect 17 0 18 0; #X connect 18 0 20 0; #X connect 18 1 21 1; #X connect 19 0 17 0; #X connect 19 1 15 0; #X connect 20 0 12 0; #X connect 21 0 13 0;
--- NEW FILE: invertor.pd --- #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;
--- NEW FILE: tree.pd --- #N canvas 165 73 474 293 10; #X obj 19 4 inlet; #X obj 41 93 outlet; #X obj 19 53 t s s s; #X obj 128 15 loadbang; #X obj 63 72 pack s s s; #X obj 95 53 symbol begin; #X obj 19 132 pack s s s; #X obj 51 113 symbol end; #X msg 64 184 ; $1 $2 $3; #X obj 128 34 symbol $2; #X obj 206 51 loadbang; #X obj 206 89 makefilename $1-%s; #X obj 206 70 symbol $2; #N canvas 0 0 450 300 1370-bitch 0; #X obj 16 75 outlet; #X obj 282 12 namecanvas $0-bitch; #X restore 30 24 pd $0-bitch; #X obj 206 157 s $0-bitch; #X msg 206 138 obj 0 0 r $1 , connect 2 0 0 0; #X connect 0 0 2 0; #X connect 2 0 6 0; #X connect 2 1 1 0; #X connect 2 2 4 0; #X connect 3 0 5 0; #X connect 3 0 7 0; #X connect 3 0 9 0; #X connect 4 0 8 0; #X connect 5 0 4 1; #X connect 6 0 8 0; #X connect 7 0 6 1; #X connect 9 0 4 2; #X connect 9 0 6 2; #X connect 10 0 12 0; #X connect 11 0 15 0; #X connect 12 0 11 0; #X connect 13 0 2 0; #X connect 15 0 14 0;
--- NEW FILE: 4times.pd --- #N canvas 330 193 381 323 10; #X obj 20 16 inlet; #X obj 69 108 inlet; #X obj 108 108 inlet; #X obj 20 35 route bang; #X obj 46 261 outlet; #X obj 46 130 $1 $2; #X obj 85 130 $1 $3; #X obj 85 190 route float; #X obj 46 210 route float; #X obj 147 108 inlet; #X obj 124 130 $1 $4; #X obj 124 170 route float; #X obj 20 54 t b b b b; #X obj 85 54 t a a a a; #X obj 187 108 inlet; #X obj 164 130 $1 $5; #X obj 134 229 pack s s s s; #X obj 46 229 pack 0 0 0 0; #X obj 164 150 route float; #X connect 0 0 3 0; #X connect 1 0 5 1; #X connect 2 0 6 1; #X connect 3 0 12 0; #X connect 3 1 13 0; #X connect 5 0 8 0; #X connect 6 0 7 0; #X connect 7 0 17 1; #X connect 7 1 16 1; #X connect 8 0 17 0; #X connect 8 1 16 0; #X connect 9 0 10 1; #X connect 10 0 11 0; #X connect 11 0 17 2; #X connect 11 1 16 2; #X connect 12 0 5 0; #X connect 12 1 6 0; #X connect 12 2 10 0; #X connect 12 3 15 0; #X connect 13 0 5 0; #X connect 13 1 6 0; #X connect 13 2 10 0; #X connect 13 3 15 0; #X connect 14 0 15 1; #X connect 15 0 18 0; #X connect 16 0 4 0; #X connect 17 0 4 0; #X connect 18 0 17 3; #X connect 18 1 16 3;
--- NEW FILE: distributor.pd --- #N canvas 414 247 580 318 10; #X text 183 92 see distributive-test.pd; #X text 183 69 when the distributor is 0 the rule is respected.; #X text 16 269 distributor; #X text 180 269 antidistributor; #X obj 164 19 $1.inlet c; #X obj 91 19 $1.inlet b; #X obj 18 19 $1.inlet a; #X obj 18 251 $1.outlet a(bc)-(ab+ac); #X obj 182 251 $1.outlet a(bc)+(ab+ac); #X text 182 40 distributivity rule for operator $3 over operator $2 is:; #X text 182 54 a $3 (b $2 c) - ((a $3 b) $2 (a $3 c)) = 0; #X obj 18 169 $1.do $3; #X obj 25 146 $1.do $2; #X obj 124 184 $1.do $2; #X obj 184 184 $1.do $3; #X obj 124 165 $1.do $3; #X obj 182 232 $1.do +; #X obj 18 232 $1.do -; #X obj 18 193 $1.taa; #X obj 18 80 $1.taa; #X obj 55 99 $1.taa; #X obj 18 61 $1.packunpack3; #X connect 4 0 21 2; #X connect 5 0 21 1; #X connect 6 0 21 0; #X connect 11 0 18 0; #X connect 12 0 11 1; #X connect 13 0 16 1; #X connect 13 0 17 1; #X connect 14 0 13 1; #X connect 15 0 13 0; #X connect 16 0 8 0; #X connect 17 0 7 0; #X connect 18 0 17 0; #X connect 18 1 16 0; #X connect 19 0 11 0; #X connect 19 1 20 0; #X connect 20 0 15 0; #X connect 20 1 14 0; #X connect 21 0 19 0; #X connect 21 1 12 0; #X connect 21 1 15 1; #X connect 21 2 12 1; #X connect 21 2 14 1;