[Inquiry] Re: Cactus Rules

[Jon Awbrey]

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

CR.  Note 16

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

Table 12.  Thematic Extensions:  [p, q] -> [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_85    | q_01010101 | 0 1 0 1 0 1 0 1 | ((r ,    ( )    ))  |
|         |            |                 |                     |
| q_86    | q_01010110 | 0 1 0 1 0 1 1 0 | ((r ,  (p) (q)  ))  |
|         |            |                 |                     |
| q_89    | q_01011001 | 0 1 0 1 1 0 0 1 | ((r ,  (p)  q   ))  |
|         |            |                 |                     |
| q_90    | q_01011010 | 0 1 0 1 1 0 1 0 | ((r ,  (p)      ))  |
|         |            |                 |                     |
| q_101   | q_01100101 | 0 1 1 0 0 1 0 1 | ((r ,   p  (q)  ))  |
|         |            |                 |                     |
| q_102   | q_01100110 | 0 1 1 0 0 1 1 0 | ((r ,      (q)  ))  |
|         |            |                 |                     |
| q_105   | q_01101001 | 0 1 1 0 1 0 0 1 | ((r ,  (p , q)  ))  |
|         |            |                 |                     |
| q_106   | q_01101010 | 0 1 1 0 1 0 1 0 | ((r ,  (p   q)  ))  |
|         |            |                 |                     |
| q_149   | q_10010101 | 1 0 0 1 0 1 0 1 | ((r ,   p   q   ))  |
|         |            |                 |                     |
| q_150   | q_10010110 | 1 0 0 1 0 1 1 0 | ((r , ((p , q)) ))  |
|         |            |                 |                     |
| q_153   | q_10011001 | 1 0 0 1 1 0 0 1 | ((r ,       q   ))  |
|         |            |                 |                     |
| q_154   | q_10011010 | 1 0 0 1 1 0 1 0 | ((r ,  (p  (q)) ))  |
|         |            |                 |                     |
| q_165   | q_10100101 | 1 0 1 0 0 1 0 1 | ((r ,   p       ))  |
|         |            |                 |                     |
| q_166   | q_10100110 | 1 0 1 0 0 1 1 0 | ((r , ((p)  q)  ))  |
|         |            |                 |                     |
| q_169   | q_10101001 | 1 0 1 0 1 0 0 1 | ((r , ((p) (q)) ))  |
|         |            |                 |                     |
| q_170   | q_10101010 | 1 0 1 0 1 0 1 0 | ((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