Changes

User:Jon Awbrey/GRAPHICS (view source)

Revision as of 16:28, 20 August 2009

16 bytes added , 16:28, 20 August 2009

→‎Proof 3: renumber frames

Line 916: Line 916:

|

* '''Variant 1'''

+

# start

# cast p

# dom

Line 934: Line 935:

|

* '''Variant 2'''

+

# start

# cast p

# dom

Line 960: Line 962:

| Equation E_1. Proof 3. |

o-----------------------------------------------------------o

−

| 0 |

+

| 1 |

| q o o r q o r |

| | | | |

Line 978: Line 980:

| |

o==================================< CAST "p" >=============o

−

| 1 |

+

| 2 |

| q r q r q r qr |

| o o o o o o o o o |

Line 1,003: Line 1,005:

| |

o==================================< Domination >===========o

−

| 2 |

+

| 3 |

| q r q r |

| o o o o o o |

Line 1,028: Line 1,030:

| |

o==================================< Cancellation >=========o

−

| 3 |

+

| 4 |

| q r q r |

| o o o |

Line 1,053: Line 1,055:

| |

o==================================< Emptiness >============o

−

| 4 |

+

| 5 |

| q r q r |

| o o o |

Line 1,078: Line 1,080:

| |

o==================================< Cancellation >=========o

−

| 5 |

+

| 6 |

| q r q r |

| o o o |

Line 1,103: Line 1,105:

| |

o==================================< CAST "q" >=============o

−

| 6 |

+

| 7 |

| o o |

| r r | r | |

Line 1,133: Line 1,135:

| |

o==================================< Domination >===========o

−

| 7 |

+

| 8 |

| o o |

| r r | r | |

Line 1,163: Line 1,165:

| |

o==================================< Cancellation >=========o

−

| 8 |

+

| 9 |

| r r r |

| o o o |

Line 1,192: Line 1,194:

| |

o==================================< Domination >===========o

−

| 9 |

+

| 10 |

| r r |

| o o |

Line 1,221: Line 1,223:

| |

o==================================< Spike >================o

−

| 10 |

+

| 11 |

| r r |

| o o |

Line 1,250: Line 1,252:

| |

o==================================< Cancellation >=========o

−

| 11 |

+

| 12 |

| r r |

| o o |

Line 1,279: Line 1,281:

| |

o==================================< CAST "r" >=============o

−

| 12 |

+

| 13 |

| o o |

| | | |

Line 1,313: Line 1,315:

| |

o==================================< Cancellation >=========o

−

| 13 |

+

| 14 |

| o o |

| / | |

Line 1,343: Line 1,345:

| |

o==================================< Emptiness & Spike >====o

−

| 14 |

+

| 15 |

−

| o o 15 |

+

| o o 16 |

| | | |

Line 1,371: Line 1,373:

| |

o==================================< Cancellation >=========o

−

| 16 |

+

| 17 |

| r o-------o---o r |

| \ / |

Jon Awbrey

12,140

edits