Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 21:30, 10 February 2009

315 bytes added , 21:30, 10 February 2009

→‎Variant 2

Line 3,969: Line 3,969:

|- style="height:50px"

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

−

| width="12%" style="border-top:1px solid black" | <math>\text{If}\!</math>

+

| width="10%" style="border-top:1px solid black" | <math>\text{If}\!</math>

−

| width="66%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</math>

+

| width="68%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</math>

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

|- style="height:50px"

Line 3,983: Line 3,983:

|- style="height:60px"

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

−

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

+

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

−

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

+

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

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

|- style="height:20px"

Line 4,057: Line 4,057:

<math>\begin{array}{ll}

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

−

& \operatorname{Conj}~~_o^O~~~ \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) \\

+

& \underset{o \in O}{\operatorname{Conj}}~ \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) \\

\} & \\

\end{array}</math>

Line 4,069: Line 4,069:

|- style="height:40px"

|  

−

| <math>\operatorname{F2.1g.}</math>

+

| valign="top" | <math>\operatorname{F2.1g.}</math>

−

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

+

| valign="top" |

+

<math>\begin{array}{ll}

+

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

+

& \underset{o \in O}{\operatorname{Conj}}~ \underline{((}~ \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~,~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) ~\underline{))} \\

+

\} & \\

+

\end{array}</math>

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

<math>\operatorname{F2.1g~:~R9e}</math>

Jon Awbrey

12,144

edits