Line 7,877: |
Line 7,877: |
| Figure 57-1. Radius Operator Diagram for the Conjunction J = uv | | Figure 57-1. Radius Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-1 -- Radius Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-1. Radius Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv=== | | ===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv=== |
Line 7,947: |
Line 7,951: |
| Figure 57-2. Secant Operator Diagram for the Conjunction J = uv | | Figure 57-2. Secant Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-2 -- Secant Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-2. Secant Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv=== | | ===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv=== |
Line 8,017: |
Line 8,025: |
| Figure 57-3. Chord Operator Diagram for the Conjunction J = uv | | Figure 57-3. Chord Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-3 -- Chord Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-3. Chord Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv=== | | ===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv=== |
Line 8,087: |
Line 8,099: |
| Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv | | Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-4 -- Tangent Functor Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-4. Tangent Functor Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Formula Display 11=== | | ===Formula Display 11=== |
Line 9,124: |
Line 9,140: |
| Figure 61. Propositional Transformation | | Figure 61. Propositional Transformation |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 61. Propositional Transformation'''</font></center></p> |
| | | |
| ===Figure 62. Propositional Transformation (Short Form)=== | | ===Figure 62. Propositional Transformation (Short Form)=== |
Line 9,175: |
Line 9,195: |
| Figure 62. Propositional Transformation (Short Form) | | Figure 62. Propositional Transformation (Short Form) |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 62. Propositional Transformation (Short Form)'''</font></center></p> |
| | | |
| ===Figure 63. Transformation of Positions=== | | ===Figure 63. Transformation of Positions=== |
Line 9,252: |
Line 9,276: |
| Figure 63. Transformation of Positions | | Figure 63. Transformation of Positions |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 63. Transformation of Positions'''</font></center></p> |
| | | |
| ===Table 64. Transformation of Positions=== | | ===Table 64. Transformation of Positions=== |
Line 10,421: |
Line 10,449: |
| </font><br> | | </font><br> |
| | | |
− | ===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> | | <pre> |
Line 10,487: |
Line 10,515: |
| 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> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›'''</font></center></p> |
| | | |
| ===Formula Display 19=== | | ===Formula Display 19=== |
Line 10,525: |
Line 10,557: |
| </font><br> | | </font><br> |
| | | |
− | ===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> | | <pre> |
Line 10,610: |
Line 10,642: |
| 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> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 70-a -- Tangent Functor Diagram.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›'''</font></center></p> |
| | | |
| ===Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›=== | | ===Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›=== |