Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Cactus Rules



o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

CR.  Note 19

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Table 15.  Differences and Equalities between Simples and Boundaries
o---------o------------o-----------------o---------------------------o
| L_1     | L_2        | L_3             | L_4                       |
|         |            |                 |                           |
| Decimal | Binary     | Vector          | Cactus                    |
o---------o------------o-----------------o---------------------------o
|         |          p : 1 1 1 1 0 0 0 0 |                           |
|         |          q : 1 1 0 0 1 1 0 0 |                           |
|         |          r : 1 0 1 0 1 0 1 0 |                           |
o---------o------------o-----------------o---------------------------o
|         |            |                 |                           |
| q_152   | q_10011000 | 1 0 0 1 1 0 0 0 |  p + ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_164   | q_10100100 | 1 0 1 0 0 1 0 0 |  q + ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_194   | q_11000010 | 1 1 0 0 0 0 1 0 |  r + ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_230   | q_11100110 | 1 1 1 0 0 1 1 0 |  p + ((p), (q), (r))      |
|         |            |                 |                           |
| q_218   | q_11011010 | 1 1 0 1 1 0 1 0 |  q + ((p), (q), (r))      |
|         |            |                 |                           |
| q_188   | q_10111100 | 1 0 1 1 1 1 0 0 |  r + ((p), (q), (r))      |
|         |            |                 |                           |
o---------o------------o-----------------o---------------------------o
|         |            |                 |                           |
| q_103   | q_01100111 | 0 1 1 0 0 1 1 1 |  p = ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_91    | q_01011011 | 0 1 0 1 1 0 1 1 |  q = ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_61    | q_00111101 | 0 0 1 1 1 1 0 1 |  r = ( p ,  q ,  r )      |
|         |            |                 |                           |
| q_25    | q_00011001 | 0 0 0 1 1 0 0 1 |  p = ((p), (q), (r))      |
|         |            |                 |                           |
| q_37    | q_00100101 | 0 0 1 0 0 1 0 1 |  q = ((p), (q), (r))      |
|         |            |                 |                           |
| q_67    | q_01000011 | 0 1 0 0 0 0 1 1 |  r = ((p), (q), (r))      |
|         |            |                 |                           |
o---------o------------o-----------------o---------------------------o

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o