Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 16:30, 12 February 2009

127 bytes added , 16:30, 12 February 2009

→‎Variant 1

Line 4,037: Line 4,037:

|

{| align="center" cellpadding="0" cellspacing="0" style="text-align:center; width:100%"

+

|- style="height:10px"

+

| width="2%" style="border-top:1px solid black" |  

+

| width="10%" style="border-top:1px solid black" |  

+

| width="68%" style="border-top:1px solid black" |  

+

| width="20%" style="border-top:1px solid black; border-left:1px solid black" |  

|- style="height:60px"

−

~~| width="2%" style="border-top:1px solid black"~~ |  

+

|  

−

| ~~width="10%" style~~="~~border-~~top~~:1px solid black~~" | <math>\operatorname{F2.2a.}</math>

+

| valign="top" | <math>\operatorname{F2.2a.}</math>

−

| ~~width="16%" style~~="~~border-~~top~~:1px solid black~~" | <math>\operatorname{Der}^L~~</math>~~

+

| valign="top" |

−

~~| width~~=~~"4%" style="border-top~~:~~1px solid black" | <math>~~=\~~!</math>~~

+

<math>\begin{align}

−

~~| width="48%" style="border-top:1px solid black" | <math>~~\~~ldots~~</math>

+

\operatorname{Der}^L

−

| ~~width="20%"~~ style="~~border-top:1px solid black;~~ border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math>

+

& = & \{ & (x, y) \in S \times I ~: \\

+

& & & \begin{align}

+

\underset{o \in O}{\operatorname{Conj}} \\

+

& \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) & = \\

+

& \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) & \\

+

\end{align} \\

+

& & \} & \\

+

\end{align}</math>

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math>

|- style="height:20px"

−

| colspan="5" |  

+

| colspan="3" |  

| style="border-left:1px solid black; text-align:center" | <math>::\!</math>

|- style="height:40px"

Line 4,051: Line 4,064:

| <math>\operatorname{F2.2b.}</math>

| <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math>

−

~~| <math>=\!</math>~~

−

~~| <math>\ldots</math>~~

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F2.2b~:~R11b}</math>

|- style="height:20px"

−

| colspan="5" |  

+

| colspan="3" |  

| style="border-left:1px solid black; text-align:center" | <math>::\!</math>

|- style="height:60px"

Line 4,062: Line 4,073:

| <math>\operatorname{F2.2c.}</math>

| <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math>

−

~~| <math>=\!</math>~~

−

~~| <math>\ldots</math>~~

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F2.2c~:~R11c}</math></p>

|- style="height:20px"

−

| colspan="5" |  

+

| colspan="3" |  

| style="border-left:1px solid black; text-align:center" | <math>::\!</math>

|- style="height:60px"

Line 4,073: Line 4,082:

| <math>\operatorname{F2.2d.}</math>

| <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math>

−

~~| <math>=\!</math>~~

−

~~| <math>\ldots</math>~~

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F2.2d~:~Log}</math>

|- style="height:20px"

−

| colspan="5" |  

+

| colspan="3" |  

| style="border-left:1px solid black; text-align:center" | <math>::\!</math>

|- style="height:60px"

Line 4,084: Line 4,091:

| <math>\operatorname{F2.2e.}</math>

| <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math>

−

~~| <math>=\!</math>~~

−

~~| <math>\ldots</math>~~

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F2.2e~:~Log}</math>

|- style="height:20px"

−

| colspan="5" |  

+

| colspan="3" |  

| style="border-left:1px solid black; text-align:center" | <math>::\!</math>

|- style="height:60px"

Line 4,095: Line 4,100:

| <math>\operatorname{F2.2f.}</math>

| <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math>

−

~~| <math>=\!</math>~~

−

~~| <math>\ldots</math>~~

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F2.2f~:~$~}</math>

Jon Awbrey

12,080

edits