[Inquiry] Re: Cactus Rules

[Jon Awbrey]

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

CR.  Note 15

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

Table 11.  Thematic Extensions:  [p, r] -> [p, q, r]
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_51    | q_00110011 | 0 0 1 1 0 0 1 1 | ((q ,    ( )    ))  |
|         |            |                 |                     |
| q_54    | q_00110110 | 0 0 1 1 0 1 1 0 | ((q ,  (p) (r)  ))  |
|         |            |                 |                     |
| q_57    | q_00111001 | 0 0 1 1 1 0 0 1 | ((q ,  (p)  r   ))  |
|         |            |                 |                     |
| q_60    | q_00111100 | 0 0 1 1 1 1 0 0 | ((q ,  (p)      ))  |
|         |            |                 |                     |
| q_99    | q_01100011 | 0 1 1 0 0 0 1 1 | ((q ,   p  (r)  ))  |
|         |            |                 |                     |
| q_102   | q_01100110 | 0 1 1 0 0 1 1 0 | ((q ,      (r)  ))  |
|         |            |                 |                     |
| q_105   | q_01101001 | 0 1 1 0 1 0 0 1 | ((q ,  (p , r)  ))  |
|         |            |                 |                     |
| q_108   | q_01101100 | 0 1 1 0 1 1 0 0 | ((q ,  (p   r)  ))  |
|         |            |                 |                     |
| q_147   | q_10010011 | 1 0 0 1 0 0 1 1 | ((q ,   p   r   ))  |
|         |            |                 |                     |
| q_150   | q_10010110 | 1 0 0 1 0 1 1 0 | ((q , ((p , r)) ))  |
|         |            |                 |                     |
| q_153   | q_10011001 | 1 0 0 1 1 0 0 1 | ((q ,       r   ))  |
|         |            |                 |                     |
| q_156   | q_10011100 | 1 0 0 1 1 1 0 0 | ((q ,  (p  (r)) ))  |
|         |            |                 |                     |
| q_195   | q_11000011 | 1 1 0 0 0 0 1 1 | ((q ,   p       ))  |
|         |            |                 |                     |
| q_198   | q_11000110 | 1 1 0 0 0 1 1 0 | ((q , ((p)  r)  ))  |
|         |            |                 |                     |
| q_201   | q_11001001 | 1 1 0 0 1 0 0 1 | ((q , ((p) (r)) ))  |
|         |            |                 |                     |
| q_204   | q_11001100 | 1 1 0 0 1 1 0 0 | ((q ,           ))  |
|         |            |                 |                     |
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