Changes

4,013 bytes added ,  19:50, 29 May 2009
→‎Ascii Tables: standard naming and ordering of tables
Line 4: Line 4:     
<pre>
 
<pre>
Table 1.  Propositional Forms On Two Variables
+
Table A1.  Propositional Forms On Two Variables
 
o---------o---------o---------o----------o------------------o----------o
 
o---------o---------o---------o----------o------------------o----------o
 
| L_1    | L_2    | L_3    | L_4      | L_5              | L_6      |
 
| L_1    | L_2    | L_3    | L_4      | L_5              | L_6      |
Line 48: Line 48:  
o---------o---------o---------o----------o------------------o----------o
 
o---------o---------o---------o----------o------------------o----------o
 
</pre>
 
</pre>
 +
 
<pre>
 
<pre>
Table 2.  Ef Expanded Over Ordinary Features {x, y}
+
Table A2.  Propositional Forms On Two Variables
 +
o---------o---------o---------o----------o------------------o----------o
 +
| L_1    | L_2    | L_3    | L_4      | L_5              | L_6      |
 +
|        |        |        |          |                  |          |
 +
| Decimal | Binary  | Vector  | Cactus  | English          | Ordinary |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |      x : 1 1 0 0 |          |                  |          |
 +
|        |      y : 1 0 1 0 |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_0    | f_0000  | 0 0 0 0 |    ()    | false            |    0    |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_1    | f_0001  | 0 0 0 1 |  (x)(y)  | neither x nor y  | ~x & ~y  |
 +
|        |        |        |          |                  |          |
 +
| f_2    | f_0010  | 0 0 1 0 |  (x) y  | y and not x      | ~x &  y  |
 +
|        |        |        |          |                  |          |
 +
| f_4    | f_0100  | 0 1 0 0 |  x (y)  | x and not y      |  x & ~y  |
 +
|        |        |        |          |                  |          |
 +
| f_8    | f_1000  | 1 0 0 0 |  x  y  | x and y          |  x &  y  |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_3    | f_0011  | 0 0 1 1 |  (x)    | not x            | ~x      |
 +
|        |        |        |          |                  |          |
 +
| f_12    | f_1100  | 1 1 0 0 |  x      | x                |  x      |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_6    | f_0110  | 0 1 1 0 |  (x, y)  | x not equal to y |  x +  y  |
 +
|        |        |        |          |                  |          |
 +
| f_9    | f_1001  | 1 0 0 1 | ((x, y)) | x equal to y    |  x =  y  |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_5    | f_0101  | 0 1 0 1 |    (y)  | not y            |      ~y  |
 +
|        |        |        |          |                  |          |
 +
| f_10    | f_1010  | 1 0 1 0 |      y  | y                |      y  |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_7    | f_0111  | 0 1 1 1 |  (x  y)  | not both x and y | ~x v ~y  |
 +
|        |        |        |          |                  |          |
 +
| f_11    | f_1011  | 1 0 1 1 |  (x (y)) | not x without y  |  x => y  |
 +
|        |        |        |          |                  |          |
 +
| f_13    | f_1101  | 1 1 0 1 | ((x) y)  | not y without x  |  x <= y  |
 +
|        |        |        |          |                  |          |
 +
| f_14    | f_1110  | 1 1 1 0 | ((x)(y)) | x or y          |  x v  y  |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
|        |        |        |          |                  |          |
 +
| f_15    | f_1111  | 1 1 1 1 |  (())  | true            |    1    |
 +
|        |        |        |          |                  |          |
 +
o---------o---------o---------o----------o------------------o----------o
 +
</pre>
 +
 
 +
<pre>
 +
Table A3.  Ef Expanded Over Differential Features {dx, dy}
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
|      |    f      | Ef | xy  | Ef | x(y) | Ef | (x)| Ef | (x)(y)|
+
|      |    f      |   T_11 f  |  T_10 f  |  T_01 f  |  T_00 f  |
 +
|      |            |            |            |            |            |
 +
|      |            | Ef| dx dy  | Ef| dx(dy) | Ef| (dx)dy | Ef|(dx)(dy)|
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 60: Line 121:  
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_1  |  (x)(y)  |   dx dy   |  dx (dy) | (dx) dy   (dx)(dy) |
+
| f_1  |  (x)(y)  |   x y    |    x (y)   |  (x) y    |  (x)(y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_2  |  (x) y    |   dx (dy)  |  dx  dy  |  (dx)(dy) | (dx) dy  |
+
| f_2  |  (x) y    |   x (y)   |    x y    |  (x)(y)   |   (x) y    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_4  |    x (y)  | (dx) dy   (dx)(dy) |   dx dy  |   dx (dy) |
+
| f_4  |    x (y)  |   (x) y    |   (x)(y)   |   x y    |   x (y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_8  |    x  y    | (dx)(dy) | (dx) dy  |   dx (dy) |   dx dy  |
+
| f_8  |    x  y    |   (x)(y)   |   (x) y    |   x (y)   |   x y    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_3  |  (x)      |   dx       |   dx       | (dx)      | (dx)      |
+
| f_3  |  (x)      |   x       |   x       |   (x)      |   (x)      |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_12 |    x      | (dx)      | (dx)      |   dx       |   dx       |
+
| f_12 |    x      |   (x)      |   (x)      |   x       |   x       |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_6  |  (x, y)  | (dx, dy| ((dx, dy)) | ((dx, dy)) | (dx, dy) |
+
| f_6  |  (x, y)  |   (x, y)   | ((x, y)) | ((x, y)) |   (x, y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_9  |  ((x, y))  | ((dx, dy)) | (dx, dy) | (dx, dy| ((dx, dy)) |
+
| f_9  |  ((x, y))  | ((x, y)) |   (x, y)   |   (x, y)   | ((x, y)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_5  |      (y)  |      dy  |      (dy) |      dy  |      (dy) |
+
| f_5  |      (y)  |      y    |      (y)   |      y    |      (y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_10 |      y    |      (dy) |      dy  |      (dy) |      dy  |
+
| f_10 |      y    |      (y)   |      y    |      (y)   |      y    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_7  |  (x  y)  | ((dx)(dy)) | ((dx) dy) | (dx (dy)) | (dx dy) |
+
| f_7  |  (x  y)  | ((x)(y)) | ((x) y)   |   (x (y)) |   (x y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_11 |  (x (y))  | ((dx) dy| ((dx)(dy)) | (dx dy) | (dx (dy)) |
+
| f_11 |  (x (y))  | ((x) y)   | ((x)(y)) |   (x y)   |   (x (y)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_13 |  ((x) y)  | (dx (dy)) | (dx dy| ((dx)(dy)) | ((dx) dy) |
+
| f_13 |  ((x) y)  |   (x (y)) |   (x y)   | ((x)(y)) | ((x) y)   |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_14 |  ((x)(y))  | (dx dy) | (dx (dy)) | ((dx) dy| ((dx)(dy)) |
+
| f_14 |  ((x)(y))  |   (x y)   |   (x (y)) | ((x) y)   | ((x)(y)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 101: Line 162:  
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 +
|                  |            |            |            |            |
 +
| Fixed Point Total |      4    |      4    |      4    |    16    |
 +
|                  |            |            |            |            |
 +
o-------------------o------------o------------o------------o------------o
 
</pre>
 
</pre>
 +
 
<pre>
 
<pre>
Table 3.  Df Expanded Over Ordinary Features {x, y}
+
Table A4.  Df Expanded Over Differential Features {dx, dy}
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
|      |    f      | Df | xy  | Df | x(y) | Df | (x)| Df | (x)(y)|
+
|      |    f      | Df| dx dy  | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)|
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 114: Line 180:  
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_1  |  (x)(y)  |   dx dy  |  dx (dy)  | (dx) dy  | ((dx)(dy)) |
+
| f_1  |  (x)(y)  |  ((x, y))  |   (y)     |   (x)     |    ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_2  |  (x) y    |  dx (dy) |   dx  dy  | ((dx)(dy)) | (dx) dy  |
+
| f_2  |  (x) y    |  (x, y)   |     y      |   (x)     |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_4  |    x (y)  | (dx) dy   | ((dx)(dy)) |   dx  dy  |   dx (dy) |
+
| f_4  |    x (y)  |   (x, y)  |   (y)     |     x      |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_8  |    x  y    | ((dx)(dy)) | (dx) dy  |   dx (dy) |  dx  dy  |
+
| f_8  |    x  y    | ((x, y)) |    y      |     x      |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_3  |  (x)      |   dx      |   dx      |   dx      |   dx      |
+
| f_3  |  (x)      |   (())    |   (())    |     ()    |     ()    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_12 |    x      |   dx      |   dx      |   dx      |   dx      |
+
| f_12 |    x      |   (())    |   (())    |     ()    |     ()    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_6  |  (x, y)  | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) |
+
| f_6  |  (x, y)  |     ()     |   (())   |   (())    |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_9  |  ((x, y))  | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) |
+
| f_9  |  ((x, y))  |     ()     |   (())   |   (())    |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_5  |      (y)  |       dy  |       dy  |       dy  |       dy  |
+
| f_5  |      (y)  |   (())    |     ()    |   (())    |     ()    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_10 |      y    |       dy  |       dy  |       dy  |       dy  |
+
| f_10 |      y    |   (())    |     ()    |   (())    |     ()    |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_7  |  (x  y)  | ((dx)(dy)) | (dx) dy  |   dx (dy) |  dx  dy  |
+
| f_7  |  (x  y)  | ((x, y)) |    y      |     x      |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_11 |  (x (y))  | (dx) dy   | ((dx)(dy)) |   dx  dy  |   dx (dy) |
+
| f_11 |  (x (y))  |   (x, y)  |   (y)     |     x      |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_13 |  ((x) y)  |  dx (dy) |   dx  dy  | ((dx)(dy)) | (dx) dy  |
+
| f_13 |  ((x) y)  |  (x, y)   |     y      |   (x)     |     ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_14 |  ((x)(y))  |   dx dy  |  dx (dy)  | (dx) dy  | ((dx)(dy)) |
+
| f_14 |  ((x)(y))  |  ((x, y))  |   (y)     |   (x)     |    ()     |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 156: Line 222:  
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
</pre>
 
</pre>
 +
 
<pre>
 
<pre>
Table 4.  Ef Expanded Over Differential Features {dx, dy}
+
Table A5.  Ef Expanded Over Ordinary Features {x, y}
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
|      |    f      |   T_11 f  |  T_10 f  |  T_01 f  |   T_00 f   |
+
|      |    f      | Ef | xy   | Ef | x(y) | Ef | (x)| Ef | (x)(y)|
|      |            |            |            |            |            |
  −
|      |            | Ef| dx dy  | Ef| dx(dy) | Ef| (dx)dy | Ef|(dx)(dy)|
   
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 170: Line 235:  
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_1  |  (x)(y)  |   x y    |   x (y)   |   (x) y    |   (x)(y)   |
+
| f_1  |  (x)(y)  |   dx dy  |   dx (dy) | (dx) dy  | (dx)(dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_2  |  (x) y    |   x (y)  |   x y    |  (x)(y)   |   (x) y    |
+
| f_2  |  (x) y    |   dx (dy) |  dx  dy   |  (dx)(dy) | (dx) dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_4  |    x (y)  |   (x) y    |   (x)(y|    x y    |   x (y)   |
+
| f_4  |    x (y)  | (dx) dy  | (dx)(dy) |   dx dy  |   dx (dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_8  |    x  y    |   (x)(y)  |  (x) y    |   x (y)   |    x y    |
+
| f_8  |    x  y    | (dx)(dy) (dx) dy   |  dx (dy) dx dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_3  |  (x)      |   x       |   x       |   (x)      |   (x)      |
+
| f_3  |  (x)      |   dx       |   dx       | (dx)      | (dx)      |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_12 |    x      |   (x)      |   (x)      |   x       |   x       |
+
| f_12 |    x      | (dx)      | (dx)      |   dx       |   dx       |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_6  |  (x, y)  |   (x, y)   | ((x, y)) | ((x, y))  (x, y)   |
+
| f_6  |  (x, y)  | (dx, dy) | ((dx, dy)) | ((dx, dy)) | (dx, dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_9  |  ((x, y))  | ((x, y))  (x, y)   |   (x, y)   | ((x, y)) |
+
| f_9  |  ((x, y))  | ((dx, dy)) | (dx, dy) | (dx, dy) | ((dx, dy)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_5  |      (y)  |      y    |      (y)   |      y    |      (y)   |
+
| f_5  |      (y)  |      dy  |      (dy) |      dy  |      (dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_10 |      y    |      (y)   |      y    |      (y)   |      y    |
+
| f_10 |      y    |      (dy) |      dy  |      (dy) |      dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_7  |  (x  y)  | ((x)(y)) | ((x) y)   |   (x (y))  (x y)   |
+
| f_7  |  (x  y)  | ((dx)(dy)) | ((dx) dy) | (dx (dy)) | (dx dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_11 |  (x (y))  | ((x) y)   | ((x)(y))  (x y)   |   (x (y)) |
+
| f_11 |  (x (y))  | ((dx) dy) | ((dx)(dy)) | (dx dy) | (dx (dy)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_13 |  ((x) y)  |   (x (y))  (x y)   | ((x)(y)) | ((x) y)   |
+
| f_13 |  ((x) y)  | (dx (dy)) | (dx dy) | ((dx)(dy)) | ((dx) dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_14 |  ((x)(y))  |   (x y)   |   (x (y)) | ((x) y)   | ((x)(y)) |
+
| f_14 |  ((x)(y))  | (dx dy) | (dx (dy)) | ((dx) dy) | ((dx)(dy)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 211: Line 276:  
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
|                  |            |            |            |            |
  −
| Fixed Point Total |      4    |      4    |      4    |    16    |
  −
|                  |            |            |            |            |
  −
o-------------------o------------o------------o------------o------------o
   
</pre>
 
</pre>
 +
 
<pre>
 
<pre>
Table 5.  Df Expanded Over Differential Features {dx, dy}
+
Table A6.  Df Expanded Over Ordinary Features {x, y}
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
|      |    f      | Df| dx dy  | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)|
+
|      |    f      | Df | xy  | Df | x(y) | Df | (x)| Df | (x)(y)|
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
Line 228: Line 290:  
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_1  |  (x)(y)  |  ((x, y))  |   (y)     |   (x)     |    ()     |
+
| f_1  |  (x)(y)  |   dx dy  |  dx (dy)  | (dx) dy  | ((dx)(dy)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_2  |  (x) y    |  (x, y)  |     y      |    (x)     |     ()     |
+
| f_2  |  (x) y    |  dx (dy) |  dx  dy   | ((dx)(dy)) | (dx) dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_4  |    x (y)  |   (x, y)  |   (y)     |     x      |     ()     |
+
| f_4  |    x (y)  | (dx) dy   | ((dx)(dy)) |   dx  dy  |   dx (dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_8  |    x  y    | ((x, y))  |     y      |    x      |    ()     |
+
| f_8  |    x  y    | ((dx)(dy)) | (dx) dy  |   dx (dy) |  dx  dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_3  |  (x)      |   (())    |   (())    |     ()    |     ()    |
+
| f_3  |  (x)      |   dx      |   dx      |   dx      |   dx      |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_12 |    x      |   (())    |   (())    |     ()    |     ()    |
+
| f_12 |    x      |   dx      |   dx      |   dx      |   dx      |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_6  |  (x, y)  |     ()     |   (())   |   (())    |     ()     |
+
| f_6  |  (x, y)  | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_9  |  ((x, y))  |     ()     |   (())   |   (())    |     ()     |
+
| f_9  |  ((x, y))  | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_5  |      (y)  |   (())    |     ()    |   (())    |     ()    |
+
| f_5  |      (y)  |       dy  |       dy  |       dy  |       dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_10 |      y    |   (())    |     ()    |   (())    |     ()    |
+
| f_10 |      y    |       dy  |       dy  |       dy  |       dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_7  |  (x  y)  | ((x, y))  |     y      |    x      |    ()     |
+
| f_7  |  (x  y)  | ((dx)(dy)) | (dx) dy  |   dx (dy) |  dx  dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_11 |  (x (y))  |   (x, y)  |   (y)     |     x      |     ()     |
+
| f_11 |  (x (y))  | (dx) dy   | ((dx)(dy)) |   dx  dy  |   dx (dy) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_13 |  ((x) y)  |  (x, y)  |     y      |    (x)     |     ()     |
+
| f_13 |  ((x) y)  |  dx (dy) |  dx  dy   | ((dx)(dy)) | (dx) dy  |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
| f_14 |  ((x)(y))  |  ((x, y))  |   (y)     |   (x)     |    ()     |
+
| f_14 |  ((x)(y))  |   dx dy  |  dx (dy)  | (dx) dy  | ((dx)(dy)) |
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
 
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
12,080

edits