Changes

8,176 bytes added , 15:00, 25 August 2007

add image stub

Line 4,242: Line 4,242:

−

===Figure 37-a. Tacit Extension of J (Areal)===

+

===Figure 37-a. Tacit Extension of ''J''  (Areal)===

<pre>

Line 4,285: Line 4,285:

</pre>

−

===Figure 37-b. Tacit Extension of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-a -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-a. Tacit Extension of ''J''  (Areal)'''</center>

+

===Figure 37-b. Tacit Extension of ''J''  (Bundle)===

<pre>

Line 4,354: Line 4,358:

</pre>

−

===Figure 37-c. Tacit Extension of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-b -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-b. Tacit Extension of ''J''  (Bundle)'''</center>

+

===Figure 37-c. Tacit Extension of ''J''  (Compact)===

<pre>

Line 4,394: Line 4,402:

</pre>

−

===Figure 37-d. Tacit Extension of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-c -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-c. Tacit Extension of ''J''  (Compact)'''</center>

+

===Figure 37-d. Tacit Extension of ''J''  (Digraph)===

<pre>

Line 4,435: Line 4,447:

Figure 37-d. Tacit Extension of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-d -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-d. Tacit Extension of ''J''  (Digraph)'''</center>

===Table 38. Computation of EJ (Method 1)===

Line 4,606: Line 4,622:

−

===Figure 40-a. Enlargement of J (Areal)===

+

===Figure 40-a. Enlargement of ''J''  (Areal)===

<pre>

Line 4,649: Line 4,665:

</pre>

−

===Figure 40-b. Enlargement of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-a -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-a. Enlargement of ''J''  (Areal)'''</center>

+

===Figure 40-b. Enlargement of ''J''  (Bundle)===

<pre>

Line 4,718: Line 4,738:

</pre>

−

===Figure 40-c. Enlargement of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-b -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-b. Enlargement of ''J''  (Bundle)'''</center>

+

===Figure 40-c. Enlargement of ''J''  (Compact)===

<pre>

Line 4,758: Line 4,782:

</pre>

−

===Figure 40-d. Enlargement of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-c -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-c. Enlargement of ''J''  (Compact)'''</center>

+

===Figure 40-d. Enlargement of ''J''  (Digraph)===

<pre>

Line 4,799: Line 4,827:

Figure 40-d. Enlargement of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-d -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-d. Enlargement of ''J''  (Digraph)'''</center>

===Table 41. Computation of DJ (Method 1)===

Line 5,066: Line 5,098:

−

===Figure 44-a. Difference Map of J (Areal)===

+

===Figure 44-a. Difference Map of ''J''  (Areal)===

<pre>

Line 5,109: Line 5,141:

</pre>

−

===Figure 44-b. Difference Map of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-a -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-a. Difference Map of ''J''  (Areal)'''</center>

+

===Figure 44-b. Difference Map of ''J''  (Bundle)===

<pre>

Line 5,178: Line 5,214:

</pre>

−

===Figure 44-c. Difference Map of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-b -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-b. Difference Map of ''J''  (Bundle)'''</center>

+

===Figure 44-c. Difference Map of ''J''  (Compact)===

<pre>

Line 5,219: Line 5,259:

</pre>

−

===Figure 44-d. Difference Map of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-c -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-c. Difference Map of ''J''  (Compact)'''</center>

+

===Figure 44-d. Difference Map of ''J''  (Digraph)===

<pre>

Line 5,257: Line 5,301:

Figure 44-d. Difference Map of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-d -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-d. Difference Map of ''J''  (Digraph)'''</center>

===Table 45. Computation of dJ===

Line 5,295: Line 5,343:

−

===Figure 46-a. Differential of J (Areal)===

+

===Figure 46-a. Differential of ''J''  (Areal)===

<pre>

Line 5,338: Line 5,386:

</pre>

−

===Figure 46-b. Differential of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-a -- Differential of J.gif|center]]

+

<center>'''Figure 46-a. Differential of ''J''  (Areal)'''</center>

+

===Figure 46-b. Differential of ''J''  (Bundle)===

<pre>

Line 5,407: Line 5,459:

</pre>

−

===Figure 46-c. Differential of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-b -- Differential of J.gif|center]]

+

<center>'''Figure 46-b. Differential of ''J''  (Bundle)'''</center>

+

===Figure 46-c. Differential of ''J''  (Compact)===

<pre>

Line 5,444: Line 5,500:

</pre>

−

===Figure 46-d. Differential of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-c -- Differential of J.gif|center]]

+

<center>'''Figure 46-c. Differential of ''J''  (Compact)'''</center>

+

===Figure 46-d. Differential of ''J''  (Digraph)===

<pre>

Line 5,480: Line 5,540:

Figure 46-d. Differential of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-d -- Differential of J.gif|center]]

+

<center>'''Figure 46-d. Differential of ''J''  (Digraph)'''</center>

===Table 47. Computation of rJ===

Line 5,541: Line 5,605:

−

===Figure 48-a. Remainder of J (Areal)===

+

===Figure 48-a. Remainder of ''J''  (Areal)===

<pre>

Line 5,584: Line 5,648:

</pre>

−

===Figure 48-b. Remainder of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-a -- Remainder of J.gif|center]]

+

<center>'''Figure 48-a. Remainder of ''J''  (Areal)'''</center>

+

===Figure 48-b. Remainder of ''J''  (Bundle)===

<pre>

Line 5,653: Line 5,721:

</pre>

−

===Figure 48-c. Remainder of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-b -- Remainder of J.gif|center]]

+

<center>'''Figure 48-b. Remainder of ''J''  (Bundle)'''</center>

+

===Figure 48-c. Remainder of ''J''  (Compact)===

<pre>

Line 5,693: Line 5,765:

</pre>

−

===Figure 48-d. Remainder of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-c -- Remainder of J.gif|center]]

+

<center>'''Figure 48-c. Remainder of ''J''  (Compact)'''</center>

+

===Figure 48-d. Remainder of ''J''  (Digraph)===

<pre>

Line 5,729: Line 5,805:

Figure 48-d. Remainder of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-d -- Remainder of J.gif|center]]

+

<center>'''Figure 48-d. Remainder of ''J''  (Digraph)'''</center>

===Table 49. Computation Summary for J===

Line 6,330: Line 6,410:

Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 52 -- Decomposition of EJ.gif|center]]

+

<center>'''Figure 52. Decomposition of E''J'''''</center>

===Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)===

Line 6,381: Line 6,465:

Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 53 -- Decomposition of DJ.gif|center]]

+

<center>'''Figure 53. Decomposition of D''J'''''</center>

===Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators===

Line 7,083: Line 7,171:

Figure 56-a1. Radius Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a1 -- Radius Map of J.gif|center]]

+

<center>'''Figure 56-a1. Radius Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a2. Secant Map of the Conjunction J = uv===

Line 7,151: Line 7,243:

Figure 56-a2. Secant Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a2 -- Secant Map of J.gif|center]]

+

<center>'''Figure 56-a2. Secant Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a3. Chord Map of the Conjunction J = uv===

Line 7,219: Line 7,315:

Figure 56-a3. Chord Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a3 -- Chord Map of J.gif|center]]

+

<center>'''Figure 56-a3. Chord Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a4. Tangent Map of the Conjunction J = uv===

Line 7,287: Line 7,387:

Figure 56-a4. Tangent Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a4 -- Tangent Map of J.gif|center]]

+

<center>'''Figure 56-a4. Tangent Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b1. Radius Map of the Conjunction J = uv===

Line 7,387: Line 7,491:

Figure 56-b1. Radius Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b1 -- Radius Map of J.gif|center]]

+

<center>'''Figure 56-b1. Radius Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b2. Secant Map of the Conjunction J = uv===

Line 7,487: Line 7,595:

Figure 56-b2. Secant Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b2 -- Secant Map of J.gif|center]]

+

<center>'''Figure 56-b2. Secant Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b3. Chord Map of the Conjunction J = uv===

Line 7,587: Line 7,699:

Figure 56-b3. Chord Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b3 -- Chord Map of J.gif|center]]

+

<center>'''Figure 56-b3. Chord Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b4. Tangent Map of the Conjunction J = uv===

Line 7,687: Line 7,803:

Figure 56-b4. Tangent Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b4 -- Tangent Map of J.gif|center]]

+

<center>'''Figure 56-b4. Tangent Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-1. Radius Operator Diagram for the Conjunction J = uv===

Line 7,757: Line 7,877:

Figure 57-1. Radius Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-1 -- Radius Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-1. Radius Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv===

Line 7,827: Line 7,951:

Figure 57-2. Secant Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-2 -- Secant Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-2. Secant Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv===

Line 7,897: Line 8,025:

Figure 57-3. Chord Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-3 -- Chord Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-3. Chord Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv===

Line 7,967: Line 8,099:

Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-4 -- Tangent Functor Diagram for J.gif|center]]

+

<center>'''Figure 57-4. Tangent Functor Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Formula Display 11===

Line 9,004: Line 9,140:

Figure 61. Propositional Transformation

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif|center]]

+

<center>'''Figure 61. Propositional Transformation'''</center>

===Figure 62. Propositional Transformation (Short Form)===

Line 9,055: Line 9,195:

Figure 62. Propositional Transformation (Short Form)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif|center]]

+

<center>'''Figure 62. Propositional Transformation (Short Form)'''</center>

===Figure 63. Transformation of Positions===

Line 9,132: Line 9,276:

Figure 63. Transformation of Positions

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif|center]]

+

<center>'''Figure 63. Transformation of Positions'''</center>

===Table 64. Transformation of Positions===

Line 10,301: Line 10,449:

−

===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›===

+

===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›===

<pre>

Line 10,367: Line 10,515:

Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))>

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif|center]]

+

<center>'''Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›'''</center>

===Formula Display 19===

Line 10,405: Line 10,557:

−

===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›===

+

===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›===

<pre>

Line 10,490: Line 10,642:

Figure 70-a. Tangent Functor Diagram for F‹u, v› = <((u)(v)), ((u, v))>

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 70-a -- Tangent Functor Diagram.gif|center]]

+

<center>'''Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›'''</center>

===Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›===

Jon Awbrey

12,080

edits

Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 15:00, 25 August 2007