12,089
edits
Changes
add image stub
Figure 12. The Anchor
Figure 12. The Anchor
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 12 -- The Anchor.gif|center]]</p>
<p><center><font size="+1">'''Figure 12. The Anchor'''</font></center></p>
===Figure 13. The Tiller===
===Figure 13. The Tiller===
Figure 13. The Tiller
Figure 13. The Tiller
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 13 -- The Tiller.gif|center]]</p>
<p><center><font size="+1">'''Figure 13. The Tiller'''</font></center></p>
===Table 14. Differential Propositions===
===Table 14. Differential Propositions===
|}
|}
</font><br>
</font><br>
===Figure 16. A Couple of Fourth Gear Orbits===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 16 -- A Couple of Fourth Gear Orbits.gif|center]]</p>
<p><center><font size="+1">'''Figure 16. A Couple of Fourth Gear Orbits'''</font></center></p>
===Figure 16-a. A Couple of Fourth Gear Orbits: 1===
===Figure 16-a. A Couple of Fourth Gear Orbits: 1===
Figure 18-a. Extension from 1 to 2 Dimensions: Areal
Figure 18-a. Extension from 1 to 2 Dimensions: Areal
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 18-a -- Extension from 1 to 2 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 18-a. Extension from 1 to 2 Dimensions: Areal'''</font></center></p>
===Figure 18-b. Extension from 1 to 2 Dimensions: Bundle===
===Figure 18-b. Extension from 1 to 2 Dimensions: Bundle===
Figure 18-b. Extension from 1 to 2 Dimensions: Bundle
Figure 18-b. Extension from 1 to 2 Dimensions: Bundle
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 18-b -- Extension from 1 to 2 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 18-b. Extension from 1 to 2 Dimensions: Bundle'''</font></center></p>
===Figure 18-c. Extension from 1 to 2 Dimensions: Compact===
===Figure 18-c. Extension from 1 to 2 Dimensions: Compact===
Figure 18-c. Extension from 1 to 2 Dimensions: Compact
Figure 18-c. Extension from 1 to 2 Dimensions: Compact
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 18-c -- Extension from 1 to 2 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 18-c. Extension from 1 to 2 Dimensions: Compact'''</font></center></p>
===Figure 18-d. Extension from 1 to 2 Dimensions: Digraph===
===Figure 18-d. Extension from 1 to 2 Dimensions: Digraph===
Figure 18-d. Extension from 1 to 2 Dimensions: Digraph
Figure 18-d. Extension from 1 to 2 Dimensions: Digraph
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 18-d -- Extension from 1 to 2 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 18-d. Extension from 1 to 2 Dimensions: Digraph'''</font></center></p>
===Figure 19-a. Extension from 2 to 4 Dimensions: Areal===
===Figure 19-a. Extension from 2 to 4 Dimensions: Areal===
Figure 19-a. Extension from 2 to 4 Dimensions: Areal
Figure 19-a. Extension from 2 to 4 Dimensions: Areal
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 19-a -- Extension from 2 to 4 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 19-a. Extension from 2 to 4 Dimensions: Areal'''</font></center></p>
===Figure 19-b. Extension from 2 to 4 Dimensions: Bundle===
===Figure 19-b. Extension from 2 to 4 Dimensions: Bundle===
Figure 19-b. Extension from 2 to 4 Dimensions: Bundle
Figure 19-b. Extension from 2 to 4 Dimensions: Bundle
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 19-b -- Extension from 2 to 4 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 19-b. Extension from 2 to 4 Dimensions: Bundle'''</font></center></p>
===Figure 19-c. Extension from 2 to 4 Dimensions: Compact===
===Figure 19-c. Extension from 2 to 4 Dimensions: Compact===
Figure 19-c. Extension from 2 to 4 Dimensions: Compact
Figure 19-c. Extension from 2 to 4 Dimensions: Compact
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 19-c -- Extension from 2 to 4 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 19-c. Extension from 2 to 4 Dimensions: Compact'''</font></center></p>
===Figure 19-d. Extension from 2 to 4 Dimensions: Digraph===
===Figure 19-d. Extension from 2 to 4 Dimensions: Digraph===
Figure 19-d. Extension from 2 to 4 Dimensions: Digraph
Figure 19-d. Extension from 2 to 4 Dimensions: Digraph
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 19-d -- Extension from 2 to 4 Dimensions.gif|center]]</p>
<p><center><font size="+1">'''Figure 19-d. Extension from 2 to 4 Dimensions: Digraph'''</font></center></p>
===Figure 20-i. Thematization of Conjunction (Stage 1)===
===Figure 20-i. Thematization of Conjunction (Stage 1)===
Figure 20-i. Thematization of Conjunction (Stage 1)
Figure 20-i. Thematization of Conjunction (Stage 1)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 20-i -- Thematization of Conjunction (Stage 1).gif|center]]</p>
<p><center><font size="+1">'''Figure 20-i. Thematization of Conjunction (Stage 1)'''</font></center></p>
===Figure 20-ii. Thematization of Conjunction (Stage 2)===
===Figure 20-ii. Thematization of Conjunction (Stage 2)===
Figure 20-ii. Thematization of Conjunction (Stage 2)
Figure 20-ii. Thematization of Conjunction (Stage 2)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 20-ii -- Thematization of Conjunction (Stage 2).gif|center]]</p>
<p><center><font size="+1">'''Figure 20-ii. Thematization of Conjunction (Stage 2)'''</font></center></p>
===Figure 20-iii. Thematization of Conjunction (Stage 3)===
===Figure 20-iii. Thematization of Conjunction (Stage 3)===
Figure 20-iii. Thematization of Conjunction (Stage 3)
Figure 20-iii. Thematization of Conjunction (Stage 3)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 20-iii -- Thematization of Conjunction (Stage 3).gif|center]]</p>
<p><center><font size="+1">'''Figure 20-iii. Thematization of Conjunction (Stage 3)'''</font></center></p>
===Figure 21. Thematization of Disjunction and Equality===
===Figure 21. Thematization of Disjunction and Equality===
Figure 21. Thematization of Disjunction and Equality
Figure 21. Thematization of Disjunction and Equality
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 21 -- Thematization of Disjunction and Equality.gif|center]]</p>
<p><center><font size="+1">'''Figure 21. Thematization of Disjunction and Equality'''</font></center></p>
===Table 22. Disjunction ''f'' and Equality ''g''===
===Table 22. Disjunction ''f'' and Equality ''g''===
<br>
<br>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ '''Table 28. Propositions on Two Variables'''
|+ Table 28. Propositions on Two Variables
|- style="background:paleturquoise"
|- style="background:paleturquoise"
| u v ||
| u v ||
<br>
<br>
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ '''Table 28. Propositions on Two Variables'''
|+ Table 28. Propositions on Two Variables
|
|
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
|-
|-
| 1 1 || ||0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
| 1 1 || ||0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
|}
|}
<br>
<br>
{| align="center" border="1" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 28. Propositions on Two Variables
|
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
|- style="background:paleturquoise"
| u || v ||
|f<sub>00</sub>||f<sub>01</sub>||f<sub>02</sub>||f<sub>03</sub>
|f<sub>04</sub>||f<sub>05</sub>||f<sub>06</sub>||f<sub>07</sub>
|f<sub>08</sub>||f<sub>09</sub>||f<sub>10</sub>||f<sub>11</sub>
|f<sub>12</sub>||f<sub>13</sub>||f<sub>14</sub>||f<sub>15</sub>
|-
| 0 || 0 ||
|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|-
| 0 || 1 ||
|0||0||1||1||0||0||1||1||0||0||1||1||0||0||1||1
|-
| 1 || 0 ||
|0||0||0||0||1||1||1||1||0||0||0||0||1||1||1||1
|-
| 1 || 1 ||
|0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
|}
|}
|}
|}
</pre>
</pre>
===Figure 30. Generic Frame of a Logical Transformation===
<br>
{| align="center" border="1" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
<pre>
|+ Table 29. Thematic Extensions of Bivariate Propositions
o-------------------------------------------------------o
|
| U |
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
|- style="background:paleturquoise"
| u || v || f<sup>¢</sup>
| φ<sub>00</sub> || φ<sub>01</sub>
| φ<sub>02</sub> || φ<sub>03</sub>
| φ<sub>04</sub> || φ<sub>05</sub>
| φ<sub>06</sub> || φ<sub>07</sub>
| φ<sub>08</sub> || φ<sub>09</sub>
| φ<sub>10</sub> || φ<sub>11</sub>
| φ<sub>12</sub> || φ<sub>13</sub>
| φ<sub>14</sub> || φ<sub>15</sub>
|-
| 0 || 0 || 0 ||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1||0
|-
| 0 || 0 || 1 ||0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|-
| 0 || 1 || 0 ||1||1||0||0||1||1||0||0||1||1||0||0||1||1||0||0
|-
| 0 || 1 || 1 ||0||0||1||1||0||0||1||1||0||0||1||1||0||0||1||1
|-
| 1 || 0 || 0 ||1||1||1||1||0||0||0||0||1||1||1||1||0||0||0||0
|-
| 1 || 0 || 1 ||0||0||0||0||1||1||1||1||0||0||0||0||1||1||1||1
|-
| 1 || 1 || 0 ||1||1||1||1||1||1||1||1||0||0||0||0||0||0||0||0
|-
| 1 || 1 || 1 ||0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
|}
|}
<br>
===Figure 30. Generic Frame of a Logical Transformation===
<pre>
o-------------------------------------------------------o
| U |
| |
| |
| o-----------o o-----------o |
| o-----------o o-----------o |
Figure 30. Generic Frame of a Logical Transformation
Figure 30. Generic Frame of a Logical Transformation
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 30 -- Generic Frame of a Logical Transformation.gif|center]]</p>
<p><center><font size="+1">'''Figure 30. Generic Frame of a Logical Transformation'''</font></center></p>
===Formula Display 3===
===Formula Display 3===
Figure 31. Operator Diagram (1)
Figure 31. Operator Diagram (1)
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 31 -- Operator Diagram (1).gif|center]]</p>
<p><center><font size="+1">'''Figure 31. Operator Diagram (1)'''</font></center></p>
===Figure 32. Operator Diagram (2)===
===Figure 32. Operator Diagram (2)===
Figure 32. Operator Diagram (2)
Figure 32. Operator Diagram (2)
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 32 -- Operator Diagram (2).gif|center]]</p>
<p><center><font size="+1">'''Figure 32. Operator Diagram (2)'''</font></center></p>
===Figure 33-i. Analytic Diagram (1)===
===Figure 33-i. Analytic Diagram (1)===
Figure 33-i. Analytic Diagram (1)
Figure 33-i. Analytic Diagram (1)
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 33-i -- Analytic Diagram (1).gif|center]]</p>
<p><center><font size="+1">'''Figure 33-i. Analytic Diagram (1)'''</font></center></p>
===Figure 33-ii. Analytic Diagram (2)===
===Figure 33-ii. Analytic Diagram (2)===
Figure 33-ii. Analytic Diagram (2)
Figure 33-ii. Analytic Diagram (2)
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 33-ii -- Analytic Diagram (2).gif|center]]</p>
<p><center><font size="+1">'''Figure 33-ii. Analytic Diagram (2)'''</font></center></p>
===Formula Display 4===
===Formula Display 4===
Figure 34. Tangent Functor Diagram
Figure 34. Tangent Functor Diagram
</pre>
</pre>
'''Note.''' The following image was corrupted in transit between software platforms.
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 34 -- Tangent Functor Diagram.gif|center]]</p>
<p><center><font size="+1">'''Figure 34. Tangent Functor Diagram'''</font></center></p>
===Figure 35. Conjunction as Transformation===
===Figure 35. Conjunction as Transformation===
Figure 35. Conjunction as Transformation
Figure 35. Conjunction as Transformation
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 35 -- A Conjunction Viewed as a Transformation.gif|center]]</p>
<p><center><font size="+1">'''Figure 35. Conjunction as Transformation'''</font></center></p>
===Table 36. Computation of !e!J===
===Table 36. Computation of !e!J===
</pre>
</pre>
===Figure 37-a. Tacit Extension of J (Areal)===
<font face="courier new">
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 36. Computation of <math>\epsilon</math>''J''
|
{| align="left" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | <math>\epsilon</math>''J''
| width="4%" | =
| ''J''‹''u'', ''v''›
|-
| width="8%" |
| width="4%" | =
| ''u'' ''v''
|-
| width="8%" |
| width="4%" | =
| ''u'' ''v'' (d''u'')(d''v'') || +
| ''u'' ''v'' (d''u'') d''v'' || +
| ''u'' ''v'' d''u'' (d''v'') || +
| ''u'' ''v'' d''u'' d''v''
|}
|-
|
{| align="left" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | <math>\epsilon</math>''J''
| width="4%" | =
| width="24%" | ''u'' ''v'' (d''u'')(d''v'')
| width="4%" | +
| width="60%" |
|-
| width="8%" |
| width="4%" |
| width="24%" | ''u'' ''v'' (d''u'') d''v''
| width="4%" | +
| width="60%" |
|-
| width="8%" |
| width="4%" |
| width="24%" | ''u'' ''v'' d''u'' (d''v'')
| width="4%" | +
| width="60%" |
|-
| width="8%" |
| width="4%" |
| width="24%" | ''u'' ''v'' d''u'' d''v''
| width="4%" |
| width="60%" |
|}
|}
</font><br>
===Figure 37-a. Tacit Extension of ''J'' (Areal)===
<pre>
<pre>
</pre>
</pre>
===Figure 37-b. Tacit Extension of J (Bundle)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 37-a -- Tacit Extension of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 37-a. Tacit Extension of ''J'' (Areal)'''</font></center></p>
===Figure 37-b. Tacit Extension of ''J'' (Bundle)===
<pre>
<pre>
</pre>
</pre>
===Figure 37-c. Tacit Extension of J (Compact)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 37-b -- Tacit Extension of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 37-b. Tacit Extension of ''J'' (Bundle)'''</font></center></p>
===Figure 37-c. Tacit Extension of ''J'' (Compact)===
<pre>
<pre>
</pre>
</pre>
===Figure 37-d. Tacit Extension of J (Digraph)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 37-c -- Tacit Extension of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 37-c. Tacit Extension of ''J'' (Compact)'''</font></center></p>
===Figure 37-d. Tacit Extension of ''J'' (Digraph)===
<pre>
<pre>
Figure 37-d. Tacit Extension of J (Digraph)
Figure 37-d. Tacit Extension of J (Digraph)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 37-d -- Tacit Extension of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 37-d. Tacit Extension of ''J'' (Digraph)'''</font></center></p>
===Table 38. Computation of EJ (Method 1)===
===Table 38. Computation of EJ (Method 1)===
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 38. Computation of E''J'' (Method 1)
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | E''J''
| width="4%" | =
| width="44%" | ''J''‹''u'' + d''u'', ''v'' + d''v''›
| width="44%" |
|-
|
|-
| width="8%" |
| width="4%" | =
| width="44%" | (''u'', d''u'')(''v'', d''v'')
| width="44%" |
|-
|
|-
| width="8%" |
| width="4%" | =
| width="44%" | ''u'' ''v'' ''J''‹1 + d''u'', 1 + d''v''›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | ''u'' (''v'') ''J''‹1 + d''u'', 0 + d''v''›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | (''u'') ''v'' ''J''‹0 + d''u'', 1 + d''v''›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | (''u'')(''v'') ''J''‹0 + d''u'', 0 + d''v''›
| width="44%" |
|-
|
|-
| width="8%" |
| width="4%" | =
| width="44%" | ''u'' ''v'' ''J''‹(d''u''), (d''v'')›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | ''u'' (''v'') ''J''‹(d''u''), d''v'' ›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | (''u'') ''v'' ''J''‹ d''u'' , (d''v'')›
| width="44%" | +
|-
| width="8%" |
| width="4%" |
| width="44%" | (''u'')(''v'') ''J''‹ d''u'' , d''v'' ›
| width="44%" |
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | E''J''
| width="23%" | = ''u'' ''v'' (d''u'')(d''v'')
| width="23%" |
| width="23%" |
| width="23%" |
|-
| width="8%" |
| width="23%" |
| width="23%" | + ''u'' (''v'') (d''u'') d''v''
| width="23%" |
| width="23%" |
|-
| width="8%" |
| width="23%" |
| width="23%" |
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="23%" |
|-
| width="8%" |
| width="23%" |
| width="23%" |
| width="23%" |
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|}
|}
</font><br>
===Table 39. Computation of EJ (Method 2)===
===Table 39. Computation of EJ (Method 2)===
</pre>
</pre>
===Figure 40-a. Enlargement of J (Areal)===
<font face="courier new">
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 39. Computation of E''J'' (Method 2)
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | E''J''
| colspan="2" | = ‹''u'' + d''u''› <math>\cdot</math> ‹''v'' + d''v''›
| width="23%" |
| width="23%" |
|-
|
|-
| width="8%" |
| colspan="2" | = ''u'' ''v'' + ''u'' d''v'' + ''v'' d''u'' + d''u'' d''v''
| width="23%" |
| width="23%" |
|-
|
|-
| width="8%" | E''J''
| width="23%" | = ''u'' ''v'' (d''u'')(d''v'')
| width="23%" | + ''u'' (''v'') (d''u'') d''v''
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|}
|}
</font><br>
===Figure 40-a. Enlargement of ''J'' (Areal)===
<pre>
<pre>
</pre>
</pre>
===Figure 40-b. Enlargement of J (Bundle)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 40-a -- Enlargement of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 40-a. Enlargement of ''J'' (Areal)'''</font></center></p>
===Figure 40-b. Enlargement of ''J'' (Bundle)===
<pre>
<pre>
</pre>
</pre>
===Figure 40-c. Enlargement of J (Compact)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 40-b -- Enlargement of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 40-b. Enlargement of ''J'' (Bundle)'''</font></center></p>
===Figure 40-c. Enlargement of ''J'' (Compact)===
<pre>
<pre>
</pre>
</pre>
===Figure 40-d. Enlargement of J (Digraph)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 40-c -- Enlargement of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 40-c. Enlargement of ''J'' (Compact)'''</font></center></p>
===Figure 40-d. Enlargement of ''J'' (Digraph)===
<pre>
<pre>
Figure 40-d. Enlargement of J (Digraph)
Figure 40-d. Enlargement of J (Digraph)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 40-d -- Enlargement of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 40-d. Enlargement of ''J'' (Digraph)'''</font></center></p>
===Table 41. Computation of DJ (Method 1)===
===Table 41. Computation of DJ (Method 1)===
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 41. Computation of D''J'' (Method 1)
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | D''J''
| width="4%" | =
| width="42%" | E''J''
| width="4%" | +
| width="42%" | <math>\epsilon</math>''J''
|-
| width="8%" |
| width="4%" | =
| width="42%" | ''J''‹''u'' + d''u'', ''v'' + d''v''›
| width="4%" | +
| width="42%" | ''J''‹''u'', ''v''›
|-
| width="8%" |
| width="4%" | =
| width="42%" | (''u'', d''u'')(''v'', d''v'')
| width="4%" | +
| width="42%" | ''u'' ''v''
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | D''J''
| width="3%" | =
| width="20%" align=center | 0
| width="23%" |
| width="23%" |
| width="23%" |
|-
| width="8%" |
| width="3%" | +
| width="20%" | ''u'' ''v'' (d''u'') d''v''
| width="23%" | + ''u'' (''v'')(d''u'') d''v''
| width="23%" |
| width="23%" |
|-
| width="8%" |
| width="3%" | +
| width="20%" | ''u'' ''v'' d''u'' (d''v'')
| width="23%" |
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="23%" |
|-
| width="8%" |
| width="3%" | +
| width="20%" | ''u'' ''v'' d''u'' d''v''
| width="23%" |
| width="23%" |
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | D''J''
| width="3%" | =
| width="23%" | ''u'' ''v'' ((d''u'')(d''v''))
| width="22%" | + ''u'' (''v'')(d''u'') d''v''
| width="22%" | + (''u'') ''v'' d''u'' (d''v'')
| width="22%" | + (''u'')(''v'') d''u'' d''v''
|}
|}
</font><br>
===Table 42. Computation of DJ (Method 2)===
===Table 42. Computation of DJ (Method 2)===
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 42. Computation of D''J'' (Method 2)
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="8%" | D''J''
| width="4%" | =
| width="16%" | <math>\epsilon</math>''J''
| width="4%" | +
| colspan="5" | E''J''
|-
| width="8%" |
| width="4%" | =
| width="16%" | ''J''‹''u'', ''v''›
| width="4%" | +
| colspan="5" | ''J''‹''u'' + d''u'', ''v'' + d''v''›
|-
| width="8%" |
| width="4%" | =
| width="16%" | ''u'' ''v''
| width="4%" | +
| colspan="5" | (''u'', d''u'')(''v'', d''v'')
|-
| width="8%" |
| width="4%" | =
| width="16%" | 0
| width="4%" | +
| width="16%" | ''u'' d''v''
| width="4%" | +
| width="16%" | ''v'' d''u''
| width="4%" | +
| width="28%" | d''u'' d''v''
|-
| width="8%" | D''J''
| width="4%" | =
| width="16%" | 0
| width="4%" | +
| width="16%" | ''u'' (d''u'') d''v''
| width="4%" | +
| width="16%" | ''v'' d''u'' (d''v'')
| width="4%" | +
| width="28%" | ((''u'', ''v'')) d''u'' d''v''
|}
|}
</font><br>
===Table 43. Computation of DJ (Method 3)===
===Table 43. Computation of DJ (Method 3)===
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 43. Computation of D''J'' (Method 3)
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | D''J''
| width="3%" | =
| width="20%" | <math>\epsilon</math>''J''
| width="3%" | +
| width="20%" | E''J''
| width="48%" |
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | <math>\epsilon</math>''J''
| width="23%" | = ''u'' ''v'' (d''u'')(d''v'')
| width="23%" | + ''u'' ''v'' (d''u'') d''v''
| width="23%" | + ''u'' ''v'' d''u'' (d''v'')
| width="25%" | + ''u'' ''v'' d''u'' d''v''
|-
| width="6%" | E''J''
| width="23%" | = ''u'' ''v'' (d''u'')(d''v'')
| width="23%" | + ''u'' (''v'')(d''u'') d''v''
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="25%" | + (''u'')(''v'') d''u'' d''v''
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | D''J''
| width="23%" | = 0 <math>\cdot</math> (d''u'')(d''v'')
| width="23%" | + ''u'' <math>\cdot</math> (d''u'') d''v''
| width="23%" | + ''v'' <math>\cdot</math> d''u'' (d''v'')
| width="25%" | + ((''u'', ''v'')) d''u'' d''v''
|}
|}
</font><br>
===Formula Display 8===
===Formula Display 8===
</pre>
</pre>
===Figure 44-a. Difference Map of J (Areal)===
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
<pre>
|
o---------------------------------------o
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| |
| width="6%" | <math>\epsilon</math>''J''
| o |
| width="47%" | = {Dispositions from ''J'' to ''J'' }
| width="47%" | + {Dispositions from ''J'' to (''J'') }
|-
|
|-
| width="6%" | E''J''
| width="47%" | = {Dispositions from ''J'' to ''J'' }
| width="47%" | + {Dispositions from (''J'') to ''J'' }
|-
|
|-
| width="6%" | D''J''
| width="47%" | = (<math>\epsilon</math>''J'', E''J'')
| width="47%" |
|-
|
|-
| width="6%" | D''J''
| width="47%" | = {Dispositions from ''J'' to (''J'') }
| width="47%" | + {Dispositions from (''J'') to ''J'' }
|}
|}
</font><br>
===Figure 44-a. Difference Map of ''J'' (Areal)===
<pre>
o---------------------------------------o
| |
| o |
| / \ |
| / \ |
| / \ |
| / \ |
</pre>
</pre>
===Figure 44-b. Difference Map of J (Bundle)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 44-a -- Difference Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 44-a. Difference Map of ''J'' (Areal)'''</font></center></p>
===Figure 44-b. Difference Map of ''J'' (Bundle)===
<pre>
<pre>
</pre>
</pre>
===Figure 44-c. Difference Map of J (Compact)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 44-b -- Difference Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 44-b. Difference Map of ''J'' (Bundle)'''</font></center></p>
===Figure 44-c. Difference Map of ''J'' (Compact)===
<pre>
<pre>
</pre>
</pre>
===Figure 44-d. Difference Map of J (Digraph)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 44-c -- Difference Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 44-c. Difference Map of ''J'' (Compact)'''</font></center></p>
===Figure 44-d. Difference Map of ''J'' (Digraph)===
<pre>
<pre>
Figure 44-d. Difference Map of J (Digraph)
Figure 44-d. Difference Map of J (Digraph)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 44-d -- Difference Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 44-d. Difference Map of ''J'' (Digraph)'''</font></center></p>
===Table 45. Computation of dJ===
===Table 45. Computation of dJ===
| => |
| => |
| |
| |
| dj = u v (du, dv) + u (v) dv + (u) v du + (u)(v) . 0 |
| dJ = u v (du, dv) + u (v) dv + (u) v du + (u)(v) . 0 |
| |
| |
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
===Figure 46-a. Differential of J (Areal)===
<font face="courier new">
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|+ Table 45. Computation of d''J''
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | D''J''
| width="25%" | = ''u'' ''v'' ((d''u'')(d''v''))
| width="23%" | + ''u'' (''v'')(d''u'') d''v''
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|-
| width="6%" | ⇒
|-
| width="6%" | d''J''
| width="25%" | = ''u'' ''v'' (d''u'', d''v'')
| width="23%" | + ''u'' (''v'') d''v''
| width="23%" | + (''u'') ''v'' d''u''
| width="23%" | + (''u'')(''v'') <math>\cdot</math> 0
|}
|}
</font><br>
===Figure 46-a. Differential of ''J'' (Areal)===
<pre>
<pre>
</pre>
</pre>
===Figure 46-b. Differential of J (Bundle)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 46-a -- Differential of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 46-a. Differential of ''J'' (Areal)'''</font></center></p>
===Figure 46-b. Differential of ''J'' (Bundle)===
<pre>
<pre>
</pre>
</pre>
===Figure 46-c. Differential of J (Compact)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 46-b -- Differential of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 46-b. Differential of ''J'' (Bundle)'''</font></center></p>
===Figure 46-c. Differential of ''J'' (Compact)===
<pre>
<pre>
</pre>
</pre>
===Figure 46-d. Differential of J (Digraph)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 46-c -- Differential of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 46-c. Differential of ''J'' (Compact)'''</font></center></p>
===Figure 46-d. Differential of ''J'' (Digraph)===
<pre>
<pre>
Figure 46-d. Differential of J (Digraph)
Figure 46-d. Differential of J (Digraph)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 46-d -- Differential of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 46-d. Differential of ''J'' (Digraph)'''</font></center></p>
===Table 47. Computation of rJ===
===Table 47. Computation of rJ===
</pre>
</pre>
===Figure 48-a. Remainder of J (Areal)===
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
<pre>
|+ Table 47. Computation of r''J''
o---------------------------------------o
|
| |
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| o |
| width="6%" | r''J''
| / \ |
| width="5%" | =
| align="center" width="20%" | D''J''
| width="3%" | +
| align="center" width="20%" | d''J''
| width="46%" |
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | D''J''
| width="25%" | = ''u'' ''v'' ((d''u'')(d''v''))
| width="23%" | + ''u'' (''v'')(d''u'') d''v''
| width="23%" | + (''u'') ''v'' d''u'' (d''v'')
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|-
| width="6%" | d''J''
| width="25%" | = ''u'' ''v'' (d''u'', d''v'')
| width="23%" | + ''u'' (''v'') d''v''
| width="23%" | + (''u'') ''v'' d''u''
| width="23%" | + (''u'')(''v'') <math>\cdot</math> 0
|}
|-
|
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| width="6%" | r''J''
| width="25%" | = ''u'' ''v'' d''u'' d''v''
| width="23%" | + ''u'' (''v'') d''u'' d''v''
| width="23%" | + (''u'') ''v'' d''u'' d''v''
| width="23%" | + (''u'')(''v'') d''u'' d''v''
|}
|}
</font><br>
===Figure 48-a. Remainder of ''J'' (Areal)===
<pre>
o---------------------------------------o
| |
| o |
| / \ |
| / \ |
| / \ |
| / \ |
| / \ |
</pre>
</pre>
===Figure 48-b. Remainder of J (Bundle)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 48-a -- Remainder of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 48-a. Remainder of ''J'' (Areal)'''</font></center></p>
===Figure 48-b. Remainder of ''J'' (Bundle)===
<pre>
<pre>
</pre>
</pre>
===Figure 48-c. Remainder of J (Compact)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 48-b -- Remainder of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 48-b. Remainder of ''J'' (Bundle)'''</font></center></p>
===Figure 48-c. Remainder of ''J'' (Compact)===
<pre>
<pre>
</pre>
</pre>
===Figure 48-d. Remainder of J (Digraph)===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 48-c -- Remainder of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 48-c. Remainder of ''J'' (Compact)'''</font></center></p>
===Figure 48-d. Remainder of ''J'' (Digraph)===
<pre>
<pre>
Figure 48-d. Remainder of J (Digraph)
Figure 48-d. Remainder of J (Digraph)
</pre>
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 48-d -- Remainder of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 48-d. Remainder of ''J'' (Digraph)'''</font></center></p>
===Table 49. Computation Summary for J===
===Table 49. Computation Summary for J===
o-------------------------------------------------------------------------------o
o-------------------------------------------------------------------------------o
</pre>
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 49. Computation Summary for ''J''
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| <math>\epsilon</math>''J''
| = || ''uv'' || <math>\cdot</math> || 1
| + || ''u''(''v'') || <math>\cdot</math> || 0
| + || (''u'')''v'' || <math>\cdot</math> || 0
| + || (''u'')(''v'') || <math>\cdot</math> || 0
|-
| E''J''
| = || ''uv'' || <math>\cdot</math> || (d''u'')(d''v'')
| + || ''u''(''v'') || <math>\cdot</math> || (d''u'')d''v''
| + || (''u'')''v'' || <math>\cdot</math> || d''u''(d''v'')
| + || (''u'')(''v'') || <math>\cdot</math> || d''u'' d''v''
|-
| D''J''
| = || ''uv'' || <math>\cdot</math> || ((d''u'')(d''v''))
| + || ''u''(''v'') || <math>\cdot</math> || (d''u'')d''v''
| + || (''u'')''v'' || <math>\cdot</math> || d''u''(d''v'')
| + || (''u'')(''v'') || <math>\cdot</math> || d''u'' d''v''
|-
| d''J''
| = || ''uv'' || <math>\cdot</math> || (d''u'', d''v'')
| + || ''u''(''v'') || <math>\cdot</math> || d''v''
| + || (''u'')''v'' || <math>\cdot</math> || d''u''
| + || (''u'')(''v'') || <math>\cdot</math> || 0
|-
| r''J''
| = || ''uv'' || <math>\cdot</math> || d''u'' d''v''
| + || ''u''(''v'') || <math>\cdot</math> || d''u'' d''v''
| + || (''u'')''v'' || <math>\cdot</math> || d''u'' d''v''
| + || (''u'')(''v'') || <math>\cdot</math> || d''u'' d''v''
|}
|}
</font><br>
===Table 50. Computation of an Analytic Series in Terms of Coordinates===
===Table 50. Computation of an Analytic Series in Terms of Coordinates===
</pre>
</pre>
===Formula Display 9===
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 50. Computation of an Analytic Series in Terms of Coordinates
|
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| |
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| ''u''
| ''v''
| |
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| d''u''
===Formula Display 10===
| d''v''
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| |
| ''u''<font face="courier new">’</font>
| EJ<u, v, du, dv> = J<u + du, v + dv> = J<u', v'> |
| ''v''<font face="courier new">’</font>
| |
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
===Table 51. Computation of an Analytic Series in Symbolic Terms===
| 0 || 0
|-
<pre>
| ||
|-
| ||
| u v | J | EJ | DJ | dJ | d^2.J |
|-
| ||
| | | | | | |
|}
| 0 0 | 0 | du dv | du dv | () | du dv |
|
| | | | | | |
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 1 | 0 | du (dv) | du (dv) | du | du dv |
| 0 || 0
| | | | | | |
|-
| 1 0 | 0 | (du) dv | (du) dv | dv | du dv |
| 0 || 1
| | | | | | |
|-
| 1 1 | 1 | (du)(dv) | ((du)(dv)) | (du, dv) | du dv |
| 1 || 0
| | | | | | |
|-
| 1 || 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 1
|-
| 1 || 0
|-
| 1 || 1
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 1
|-
| ||
|-
| ||
|-
| ||
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 1
|-
| 1 || 0
|-
| 1 || 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 1
|-
| 0 || 0
|-
| 1 || 1
|-
| 1 || 0
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 1 || 0
|-
| ||
|-
| ||
|-
| ||
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 1
|-
| 1 || 0
|-
| 1 || 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 1 || 0
|-
| 1 || 1
|-
| 0 || 0
|-
| 0 || 1
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 1 || 1
|-
| ||
|-
| ||
|-
| ||
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 1 || 1
|-
| 1 || 0
|-
| 0 || 1
|-
| 0 || 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 1
|-
| 1 || 0
|-
| 1 || 1
|}
|}
|
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| <math>\epsilon</math>''J''
| E''J''
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| D''J''
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| d''J''
| d<sup>2</sup>''J''
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| || 0
|-
| || 0
|-
| || 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 0
|-
| 0
|-
| 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 0
|-
| 0 || 0
|-
| 0 || 1
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| || 0
|-
| || 1
|-
| || 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 0
|-
| 1
|-
</pre>
| 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 0
|-
| 1 || 0
|-
| 1 || 1
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| || 1
|-
| || 0
|-
| || 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 1
|-
| 0
|-
| 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 1 || 0
|-
| 0 || 0
|-
| 1 || 1
|}
|-
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 1
|-
| || 0
|-
| || 0
|-
| || 0
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 1
|-
| 1
|-
| 1
|}
|
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 1 || 0
|-
| 1 || 0
|-
| 0 || 1
|}
|}
|}
<br>
===Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes===
===Formula Display 9===
<pre>
<pre>
o-------------------------------------------------o
| |
| u' = u + du = (u, du) |
| |
| | | | |
| v' = v + du = (v, dv) |
| Tacit | !e! : | !e!J : | !e!J : |
| |
o-------------------------------------------------o
</pre>
| | | | |
<br><font face="courier new">
| | | | |
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| || ''u''’ || = || ''u'' + d''u'' || = || (''u'', d''u'') ||
| | | | |
|-
o--------------o----------------------o--------------------o----------------------o
| || ''v''’ || = || ''v'' + d''u'' || = || (''v'', d''v'') ||
|}
|}
</font><br>
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
| | | | |
===Formula Display 10===
| | | | |
<pre>
| Difference | D : | DJ : | DJ : |
o--------------------------------------------------------------o
| |
| EJ<u, v, du, dv> = J<u + du, v + dv> = J<u', v'> |
| | | | |
| |
o--------------------------------------------------------------o
| | | | |
</pre>
| Differential | d : | dJ : | dJ : |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
<br><font face="courier new">
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|
o--------------o----------------------o--------------------o----------------------o
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| | | | |
| E''J''‹''u'', ''v'', d''u'', d''v''›
| Remainder | r : | rJ : | rJ : |
| =
| ''J''‹''u'' + d''u'', ''v'' + d''v''›
| =
| ''J''‹''u''’, ''v''’›
|}
|}
</font><br>
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
o--------------o----------------------o--------------------o----------------------o
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
| | | | |
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
| | | | |
| | (U%->X%)->(EU%->EX%) | B^2 x D^2 -> D | [B^2 x D^2]->[B x D] |
| | | | |
</pre>
===Figure 56-a1. Radius Map of the Conjunction J = uv===
===Table 51. Computation of an Analytic Series in Symbolic Terms===
<pre>
<pre>
Table 51. Computation of an Analytic Series in Symbolic Terms
o-----------o---------o------------o------------o------------o-----------o
| u v | J | EJ | DJ | dJ | d^2.J |
o-----------o---------o------------o------------o------------o-----------o
| | | | | | |
| 0 0 | 0 | du dv | du dv | () | du dv |
| | | | | | |
| 0 1 | 0 | du (dv) | du (dv) | du | du dv |
| | | | | | |
| 1 0 | 0 | (du) dv | (du) dv | dv | du dv |
| | | | | | |
| 1 1 | 1 | (du)(dv) | ((du)(dv)) | (du, dv) | du dv |
| | | | | | |
o-----------o---------o------------o------------o------------o-----------o
</pre>
<font face="courier new">
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 51. Computation of an Analytic Series in Symbolic Terms
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| ''u'' || ''v''
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| ''J''
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| E''J''
|}
|\ / \ / \ / \ /| |\ / \ / \ / \ /|
|
| \ / \ / \ / \ / | | \ / \ / \ / \ / |
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| o o o o | | o o o o |
| D''J''
| |\ / \ / \ /| | | |\ / \ / \ /| |
|}
|u | \ / \ / \ / | v| |u | \ / \ / \ / | v|
|
o--+--o o o--+--o o o--+--o o o--+--o
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| d''J''
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| d<sup>2</sup>''J''
|}
|-
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0 || 0
|-
| 0 || 1
|-
| 1 || 0
|-
| 1 || 1
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 0
|-
| 0
|-
| 1
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| d''u'' d''v''
|-
| d''u'' (d''v'')
|-
| (d''u'') d''v''
|-
| (d''u'')(d''v'')
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| d''u'' d''v''
|-
| d''u'' (d''v'')
|-
| (d''u'') d''v''
|-
| ((d''u'')(d''v''))
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| ()
|-
| d''u''
|-
| d''v''
|-
| (d''u'', d''v'')
|}
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| d''u'' d''v''
|-
| d''u'' d''v''
|-
| d''u'' d''v''
|-
| d''u'' d''v''
|}
|}
</font><br>
===Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ)===
===Figure 56-a2. Secant Map of the Conjunction J = uv===
<pre>
<pre>
o o o
/%\ /%\ / \
/%%%\ /%%%\ / \
o%%%%%o o%%%%%o o o
/ \%%%/ \ /%\%%%/%\ /%\ /%\
/ \%/ \ /%%%\%/%%%\ /%%%\ /%%%\
o o o o%%%%%o%%%%%o o%%%%%o%%%%%o
/%\ / \ /%\ / \%%%/%\%%%/ \ /%\%%%/%\%%%/%\
/%%%\ / \ /%%%\ / \%/%%%\%/ \ /%%%\%/%%%\%/%%%\
o%%%%%o o%%%%%o o o%%%%%o o o%%%%%o%%%%%o%%%%%o
/ \%%%/ \ / \%%%/ \ / \ / \%%%/ \ / \ / \%%%/ \%%%/ \%%%/ \
/ \%/ \ / \%/ \ / \ / \%/ \ / \ / \%/ \%/ \%/ \
o o o o o o o o o o o o o o o
|\ / \ /%\ / \ /| |\ / \ / \ / \ /| |\ / \ /%\ / \ /|
| \ / \ /%%%\ / \ / | | \ / \ / \ / \ / | | \ / \ /%%%\ / \ / |
| o o%%%%%o o | | o o o o | | o o%%%%%o o |
| |\ / \%%%/ \ /| | | |\ / \ / \ /| | | |\ / \%%%/ \ /| |
|u | \ / \%/ \ / | v| |u | \ / \ / \ / | v| |u | \ / \%/ \ / | v|
o--+--o o o--+--o o--+--o o o--+--o o--+--o o o--+--o
| \ / \ / | | \ / \ / | | \ / \ / |
////\ | du \ / \ / dv | /\\\\
| du \ / \ / dv | | du \ / \ / dv | | du \ / \ / dv |
o-----o o-----o o-----o o-----o o-----o o-----o
\ / \ / \ /
\ / \ / \ /
o o o
EJ = J + DJ
o-----------------------o o-----------------------o o-----------------------o
| | | | | |
o o o o o o o o o o
| o--o o--o | | o--o o--o | | o--o o--o |
|\ / \ / \ / \ /| |\ / \ /\\ / \ /|
| / \ / \ | | / \ / \ | | / \ / \ |
| \ / \ / \ / \ / | | \ / \ /\\\\ / \ / |
| / o \ | | / o \ | | / o \ |
| o o o o | | o o\\\\\o o |
| / u / \ v \ | | / u / \ v \ | | / u / \ v \ |
| |\ / \ / \ /| | | |\ / \\\\/ \ /| |
| o /->-\ o | | o /->-\ o | | o / \ o |
|u | \ / \ / \ / | v| |u | \ / \\/ \ / | v|
| | o \ / o | | | | o \ / o | | | | o o | |
o--+--o o o--+--o o o--+--o o o--+--o
| | @--|->@<-|--@ | | | | @<-|--@--|->@ | | | | @<-|->@<-|->@ | |
| | o ^ o | | | | o | o | | | | o ^ o | |
| o \ | / o | | o \ | / o | | o \ | / o |
o-----o o-----o /XXXXX\ o-----o o-----o
| \ \|/ / | | \ \|/ / | | \ \|/ / |
| \ | / | | \ | / | | \ | / |
| \ /|\ / | | \ /|\ / | | \ /|\ / |
| o--o | o--o | | o--o v o--o | | o--o v o--o |
| @ | | @ | | @ |
o-----------------------o o-----------------------o o-----------------------o
Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ)
</pre>
Figure 56-a2. Secant Map of the Conjunction J = uv
<br>
</pre>
<p>[[Image:Diff Log Dyn Sys -- Figure 52 -- Decomposition of EJ.gif|center]]</p>
<p><center><font size="+1">'''Figure 52. Decomposition of E''J'''''</font></center></p>
===Figure 56-a3. Chord Map of the Conjunction J = uv===
===Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)===
<pre>
<pre>
o o o
/ \ / \ / \
/ \ / \ / \
o o o o o o
/%\ /%\ /%\ /%\ / \ / \
/%%%\ /%%%\ /%%%\%/%%%\ / \ / \
o%%%%%o%%%%%o o%%%%%o%%%%%o o o o
/%\%%%/%\%%%/%\ /%\%%%/ \%%%/%\ / \ /%\ / \
/%%%\%/%%%\%/%%%\ /%%%\%/ \%/%%%\ / \ /%%%\ / \
o%%%%%o%%%%%o%%%%%o o%%%%%o o%%%%%o o o%%%%%o o
/ \%%%/ \%%%/ \%%%/ \ / \%%%/%\ /%\%%%/ \ / \ /%\%%%/%\ / \
/ \%/ \%/ \%/ \ / \%/%%%\ /%%%\%/ \ / \ /%%%\%/%%%\ / \
o o o o o o o%%%%%o%%%%%o o o o%%%%%o%%%%%o o
|\ / \ /%\ / \ /| |\ / \%%%/ \%%%/ \ /| |\ / \%%%/%\%%%/ \ /|
| \ / \ /%%%\ / \ / | | \ / \%/ \%/ \ / | | \ / \%/%%%\%/ \ / |
| o o%%%%%o o | | o o o o | | o o%%%%%o o |
| |\ / \%%%/ \ /| | | |\ / \ / \ /| | | |\ / \%%%/ \ /| |
|u | \ / \%/ \ / | v| |u | \ / \ / \ / | v| |u | \ / \%/ \ / | v|
o--+--o o o--+--o o--+--o o o--+--o o--+--o o o--+--o
| \ / \ / | | \ / \ / | | \ / \ / |
| du \ / \ / dv | | du \ / \ / dv | | du \ / \ / dv |
o-----o o-----o o-----o o-----o o-----o o-----o
\ / \ / \ /
\ / \ / \ /
o o o
DJ = dJ + ddJ
o o/////o o = = o\\\\\o\\\\\o\\\\\o
/ \ / \//// \ / \ = = / \\\\/ \\\\/ \\\\/ \
o-----------------------o o-----------------------o o-----------------------o
/ \ / \// \ / \ = = / \\/ \\/ \\/ \
| | | | | |
o o o o o o o o o o
| o--o o--o | | o--o o--o | | o--o o--o |
|\ / \ / \ / \ /| |\ / \ /\\ / \ /|
| / \ / \ | | / \ / \ | | / \ / \ |
| \ / \ / \ / \ / | | \ / \ /\\\\ / \ / |
| / o \ | | / o \ | | / o \ |
| o o o o | | o o\\\\\o o |
| / u / \ v \ | | / u / \ v \ | | / u / \ v \ |
| |\ / \ / \ /| | | |\ / \\\\/ \ /| |
| o / \ o | | o / \ o | | o / \ o |
|u | \ / \ / \ / | v| |u | \ / \\/ \ / | v|
| | o o | | | | o o | | | | o o | |
o--+--o o o--+--o o o--+--o o o--+--o
| | @<-|->@<-|->@ | | | | @<-|->@<-|->@ | | | | @<-|-----|->@ | |
| | o ^ o | | | | ^ o o ^ | | | | o @ o | |
| o \ | / o | | o \ \ / / o | | o \ ^ / o |
o-----o o-----o /XXXXX\ o-----o o-----o
| \ \|/ / | | \ --\-/-- / | | \ \|/ / |
| \ | / | | \ o / | | \ | / |
| \ /|\ / | | \ / \ / | | \ /|\ / |
| o--o v o--o | | o--o o--o | | o--o v o--o |
| @ | | @ | | @ |
o-----------------------o o-----------------------o o-----------------------o
Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)
</pre>
Figure 56-a3. Chord Map of the Conjunction J = uv
<br>
</pre>
<p>[[Image:Diff Log Dyn Sys -- Figure 53 -- Decomposition of DJ.gif|center]]</p>
<p><center><font size="+1">'''Figure 53. Decomposition of D''J'''''</font></center></p>
===Figure 56-a4. Tangent Map of the Conjunction J = uv===
===Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators===
<pre>
<pre>
Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators
o------o-------------------------o------------------o----------------------------o
| Item | Notation | Description | Type |
o------o-------------------------o------------------o----------------------------o
| | | | |
| U% | = [u, v] | Source Universe | [B^2] |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| X% | = [x] | Target Universe | [B^1] |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| EU% | = [u, v, du, dv] | Extended | [B^2 x D^2] |
| | | Source Universe | |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| EX% | = [x, dx] | Extended | [B^1 x D^1] |
| | | Target Universe | |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| J | J : U -> B | Proposition | (B^2 -> B) c [B^2] |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| J | J : U% -> X% | Transformation, | [B^2] -> [B^1] |
| | | or Mapping | |
| | | | |
o o o o o o o\\\\\o\\\\\o o
o------o-------------------------o------------------o----------------------------o
|\ / \ / \ / \ /| |\ / \\\\/ \\\\/ \ /|
| | | | |
| \ / \ / \ / \ / | | \ / \\/ \\/ \ / |
| W | W : | Operator | |
| o o o o | | o o o o |
| | U% -> EU%, | | [B^2] -> [B^2 x D^2], |
| |\ / \ / \ /| | | |\ / \ / \ /| |
| | X% -> EX%, | | [B^1] -> [B^1 x D^1], |
|u | \ / \ / \ / | v| |u | \ / \ / \ / | v|
| | (U%->X%)->(EU%->EX%), | | ([B^2] -> [B^1]) |
o--+--o o o--+--o o o--+--o o o--+--o
| | for each W among: | | -> |
| | e!, !h!, E, D, d | | ([B^2 x D^2]->[B^1 x D^1]) |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | |
| !e! | | Tacit Extension Operator !e! |
| !h! | | Trope Extension Operator !h! |
| E | | Enlargement Operator E |
| D | | Difference Operator D |
| d | | Differential Operator d |
| | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| $W$ | $W$ : | Operator | |
| | U% -> $T$U% = EU%, | | [B^2] -> [B^2 x D^2], |
| | X% -> $T$X% = EX%, | | [B^1] -> [B^1 x D^1], |
| | (U%->X%)->($T$U%->$T$X%)| | ([B^2] -> [B^1]) |
| | for each $W$ among: | | -> |
| | $e$, $E$, $D$, $T$ | | ([B^2 x D^2]->[B^1 x D^1]) |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | |
| $e$ | | Radius Operator $e$ = <!e!, !h!> |
| $E$ | | Secant Operator $E$ = <!e!, E > |
| $D$ | | Chord Operator $D$ = <!e!, D > |
| $T$ | | Tangent Functor $T$ = <!e!, d > |
| | | |
o------o-------------------------o-----------------------------------------------o
</pre>
</pre>
===Figure 56-b1. Radius Map of the Conjunction J = uv===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
|+ '''Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators'''
<pre>
|- style="background:paleturquoise"
! Item
| |
! Notation
| |
! Description
| |
! Type
| o--o o--o |
|-
| / \ / \ |
| ''U''<sup> •</sup>
| / o \ |
| = [''u'', ''v'']
| / du / \ dv \ |
| Source Universe
| o / \ o |
| ['''B'''<sup>2</sup>]
| | o o | |
|-
| | | | | |
| ''X''<sup> •</sup>
| | o o | |
| = [''x'']
| o \ / o |
| Target Universe
| \ \ / / |
| ['''B'''<sup>1</sup>]
| \ o / |
|-
| \ / \ / |
| E''U''<sup> •</sup>
| o--o o--o |
| = [''u'', ''v'', d''u'', d''v'']
| |
| Extended Source Universe
| |
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>]
| |
|-
| E''X''<sup> •</sup>
| = [''x'', d''x'']
| Extended Target Universe
| | \
| ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>]
| | \
|-
| | \
| ''J''
| o--o o--o | \
| ''J'' : ''U'' → '''B'''
| / \ / \ | \
| Proposition
| / o \ | \
| ('''B'''<sup>2</sup> → '''B''') ∈ ['''B'''<sup>2</sup>]
| / du / \ dv \ | \
|-
| o / \ o | \
| ''J''
| | o o | @ \
| ''J'' : ''U''<sup> •</sup> → ''X''<sup> •</sup>
| | | | | |\ \
| Transformation, or Mapping
| | o o | | \ \
| ['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>]
| o \ / o | \ \
|-
| \ \ / / | \ \
| valign="top" |
| \ o / | \ \
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| \ / \ / | \ \
| W
| o--o o--o | \ \
|}
| | \ \
| valign="top" |
| | \ \
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| | \ \
| W :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> ,
|-
| |\ | \ \ | |```````````````````````|
| ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
| | \ | \ @ | |```````````````````````|
|-
| | \| \ | |```````````````````````|
| (''U''<sup> •</sup> → ''X''<sup> •</sup>)
| o--o o--o | \ o--o \o--o | |``````o--o```o--o``````|
|-
| / \ / \ | |\ / \ /\ \ | |`````/````\`/````\`````|
| →
| / o \ | | \ / o @ \ | |````/``````o``````\````|
|-
| / du / \ dv \ | | \/ du /`\ dv \ | |```/``du``/`\``dv``\```|
| (E''U''<sup> •</sup> → E''X''<sup> •</sup>) ,
| o / \ o | | o\ /```\ o | |``o``````/```\``````o``|
|-
| | o o | | | | \ o`````o | | |``|`````o`````o`````|``|
| for each W in the set:
|-
| {<math>\epsilon</math>, <math>\eta</math>, E, D, d}
|}
| valign="top" |
| \ o / | | \ o / | |````\``````o``````/````|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| \ / \ / | | \ / \ / | |`````\````/`\````/`````|
| Operator
| o--o o--o | | o--o o--o | |``````o--o```o--o``````|
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
|
|-
| ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] ,
|-
| ['''B'''<sup>1</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] ,
|-
| (['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>])
|-
| →
|-
| (['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>])
|-
|
|-
|
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>
|-
| <math>\eta</math>
|-
| E
|-
| D
|-
| d
|}
| valign="top" |
| colspan="2" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Tacit Extension Operator || <math>\epsilon</math>
|-
| Trope Extension Operator || <math>\eta</math>
|-
<pre>
| Enlargement Operator || E
|-
| Difference Operator || D
|-
| Differential Operator || d
|}
| / \ / \ |
|-
| / o \ |
| valign="top" |
| / du /`\ dv \ |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| o /```\ o |
| <font face=georgia>'''W'''</font>
| | o`````o | |
|}
| valign="top" |
| | o`````o | |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''W'''</font> :
|-
| ''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''U''<sup> •</sup> = E''U''<sup> •</sup> ,
|-
| ''X''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup> = E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>)
|-
| →
|-
o-----------------------o \
| (<font face=georgia>'''T'''</font>''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup>) ,
| | \
|-
| | \
| for each <font face=georgia>'''W'''</font> in the set:
| | \
|-
| o--o o--o | \
| {<font face=georgia>'''e'''</font>, <font face=georgia>'''E'''</font>, <font face=georgia>'''D'''</font>, <font face=georgia>'''T'''</font>}
| /````\ / \ | \
|}
| /``````o \ | \
| valign="top" |
| /``du``/ \ dv \ | \
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| o``````/ \ o | \
| Operator
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
| o``````\ / o | \ \
|
| \``````\ / / | \ \
|-
| \``````o / | \ \
| ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] ,
| \````/ \ / | \ \
|-
| o--o o--o | \ \
| ['''B'''<sup>1</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] ,
| | \ \
|-
| | \ \
| (['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>])
| | \ \
|-
o-----------------------o \ \
| →
|-
| (['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>])
| |\ | \ \ | |```````````````````````|
|-
| | \ | \ @ | |```````````````````````|
|
| | \| \ | |```````````````````````|
|-
| o--o o--o | \ o--o \o--o | |``````o--o```o--o``````|
|
|}
| / o``````\ | | \ / o @ \ | |````/ o \````|
|-
| / du / \``dv``\ | | \/ du /`\ dv \ | |```/ du / \ dv \```|
|
| o / \``````o | | o\ /```\ o | |``o / \ o``|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| | o o`````| | | | \ o`````o | | |``| o o |``|
| <font face=georgia>'''e'''</font>
| | | |`````| | | | @ |``@--|-----|------@``| | | |``|
|-
| | o o`````| | | | o`````o | | |``| o o |``|
| <font face=georgia>'''E'''</font>
| o \ /``````o | | o \```/ o | |``o \ / o``|
|-
| \ \ /``````/ | | \ \`/ / | |```\ \ / /```|
| <font face=georgia>'''D'''</font>
| \ o``````/ | | \ o / | |````\ o /````|
|-
| \ / \````/ | | \ / \ / | |`````\ /`\ /`````|
| <font face=georgia>'''T'''</font>
| o--o o--o | | o--o o--o | |``````o--o```o--o``````|
|}
| | | | |```````````````````````|
| valign="top" |
| | | | |```````````````````````|
| colspan="2" |
| | | | |```````````````````````|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Radius Operator || <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>›
|-
| Secant Operator || <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E›
|-
| Chord Operator || <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D›
|-
| Tangent Functor || <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d›
|}
|}<br>
===Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes===
<pre>
Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes
o--------------o----------------------o--------------------o----------------------o
| | Operator | Proposition | Map |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Tacit | !e! : | !e!J : | !e!J : |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> B | [u,v,du,dv]->[x] |
| | (U%->X%)->(EU%->X%) | B^2 x D^2 -> B | [B^2 x D^2]->[B^1] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Trope | !h! : | !h!J : | !h!J : |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Enlargement | E : | EJ : | EJ : |
</pre>
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
===Figure 56-b3. Chord Map of the Conjunction J = uv===
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Difference | D : | DJ : | DJ : |
| |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
| |
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
| |
| | | | |
| o--o o--o |
o--------------o----------------------o--------------------o----------------------o
| / \ / \ |
| | | | |
| / o \ |
| Differential | d : | dJ : | dJ : |
| / du /`\ dv \ |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
| o /```\ o |
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
| | o`````o | |
| | | | |
| | |`````| | |
o--------------o----------------------o--------------------o----------------------o
| | o`````o | |
| | | | |
| o \```/ o |
| Remainder | r : | rJ : | rJ : |
| \ \`/ / |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx] |
| \ o / |
| | (U%->X%)->(EU%->dX%) | B^2 x D^2 -> D | [B^2 x D^2]->[D^1] |
| | | | |
| o--o o--o |
o--------------o----------------------o--------------------o----------------------o
| |
| | | | |
| |
| Radius | $e$ = <!e!, !h!> : | | $e$J : |
| |
| Operator | U%->EU%, X%->EX%, | | [u,v,du,dv]->[x, dx] |
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | \
| | | | |
| | \
| Secant | $E$ = <!e!, E> : | | $E$J : |
| | \
| Operator | U%->EU%, X%->EX%, | | [u,v,du,dv]->[x, dx] |
| o--o o--o | \
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
| /````\ / \ | \
| | | | |
| /``````o \ | \
o--------------o----------------------o--------------------o----------------------o
| /``du``/ \ dv \ | \
| | | | |
| o``````/ \ o | \
| Chord | $D$ = <!e!, D> : | | $D$J : |
| |`````o o | @ \
| Operator | U%->EU%, X%->EX%, | | [u,v,du,dv]->[x, dx] |
| |`````| | | |\ \
| | (U%->X%)->(EU%->EX%) | | [B^2 x D^2]->[B x D] |
| |`````o o | | \ \
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Tangent | $T$ = <!e!, d> : | dJ : | $T$J : |
| Functor | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[x, dx] |
| | (U%->X%)->(EU%->EX%) | B^2 x D^2 -> D | [B^2 x D^2]->[B x D] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
</pre>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
|+ '''Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes'''
|- style="background:paleturquoise"
!
! Operator
! Proposition
! Map
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Tacit
|-
| Extension
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math> :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → ''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''B'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''B'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Trope
|-
| Extension
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math> :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math>''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Enlargement
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| E :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| E''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| E''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Difference
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| D :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| D''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| D''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Differential
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| d :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| d''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| d''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Remainder
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| r :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| r''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| r''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''D'''<sup>1</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Radius
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>› :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
|
|-
|
|-
|
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''e'''</font>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'', d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D''']
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Secant
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E› :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
|
|-
|
|-
|
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''E'''</font>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'', d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D''']
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Chord
|-
| Operator
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D› :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
|
|-
|
|-
|
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''D'''</font>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'', d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D''']
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Tangent
|-
| Functor
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d› :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| d''J'' :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>2</sup> × '''D'''<sup>2</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''T'''</font>''J'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'', d''x'']
|-
| ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B''' × '''D''']
|}
|}<br>
===Figure 56-b4. Tangent Map of the Conjunction J = uv===
===Figure 56-a1. Radius Map of the Conjunction J = uv===
<pre>
<pre>
o
/X\
/XXX\
oXXXXXo
/X\XXX/X\
/XXX\X/XXX\
oXXXXXoXXXXXo
/ \XXX/X\XXX/ \
/ \X/XXX\X/ \
o oXXXXXo o
/ \ / \XXX/ \ / \
/ \ / \X/ \ / \
| o \ / o |
o o o o o
=|\ / \ / \ / \ /|=
| \ o / |
= | \ / \ / \ / \ / | =
= | o o o o | =
| o--o o--o |
= | |\ / \ / \ /| | =
| |
= |u | \ / \ / \ / | v| =
o o--+--o o o--+--o o
| |
//\ | \ / \ / | /\\
o-----------------------@
////\ | du \ / \ / dv | /\\\\
o/////o o-----o o-----o o\\\\\o
//\/////\ \ / /\\\\\/\\
| | \
////\/////\ \ / /\\\\\/\\\\
| | \
o/////o/////o o o\\\\\o\\\\\o
| | \
/ \/////\//// \ = = / \\\\/\\\\\/ \
/ \/////\// \ = = / \\/\\\\\/ \
o o/////o o = = o o\\\\\o o
/ \ / \//// \ / \ = = / \ / \\\\/ \ / \
/ \ / \// \ / \ = = / \ / \\/ \ / \
o o o o o o o o o o
|\ / \ / \ / \ /| |\ / \ / \ / \ /|
| \ / \ / \ / \ / | | \ / \ / \ / \ / |
| o o o o | | o o o o |
| |\ / \ / \ /| | | |\ / \ / \ /| |
|u | \ / \ / \ / | v| |u | \ / \ / \ / | v|
o--+--o o o--+--o o o--+--o o o--+--o
. | \ / \ / | /X\ | \ / \ / | .
.| du \ / \ / dv | /XXX\ | du \ / \ / dv |.
o-----o o-----o /XXXXX\ o-----o o-----o
. \ / /XXXXXXX\ \ / .
. \ / /XXXXXXXXX\ \ / .
. o oXXXXXXXXXXXo o .
. //\XXXXXXXXX/\\ .
. ////\XXXXXXX/\\\\ .
!e!J //////\XXXXX/\\\\\\ !h!J
. ////////\XXX/\\\\\\\\ .
. //////////\X/\\\\\\\\\\ .
. o///////////o\\\\\\\\\\\o .
. |\////////// \\\\\\\\\\/| .
. | \//////// \\\\\\\\/ | .
| / du /`\``dv``\ | | \/ du /`\ dv \ | | /``du``/ \``dv``\ |
. | \////// \\\\\\/ | .
. | \//// \\\\/ | .
| | o`````o`````| | | | \ o`````o | | | |`````o o`````| |
.| x \// \\/ dx |.
| | |`````|`````| | | | @ |``@--|-----|------@ |`````| |`````| |
o-----o o-----o
\ /
\ /
x = uv \ / dx = uv
\ /
\ /
o
| | | | | |
| | | | | |
Figure 56-a1. Radius Map of the Conjunction J = uv
</pre>
o-----------------------o o-----------------------o o-----------------------o
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-a1 -- Radius Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-a1. Radius Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-a2. Secant Map of the Conjunction J = uv===
<pre>
o
/X\
/XXX\
oXXXXXo
//\XXX//\
| /```````\ | | o```````````````````````o | | /```````\ |
////\X////\
o/////o/////o
/\\/////\////\\
/\\\\/////\//\\\\
o\\\\\o/////o\\\\\o
/ \\\\/ \//// \\\\/ \
/ \\/ \// \\/ \
o o o o o
=|\ / \ /\\ / \ /|=
= | \ / \ /\\\\ / \ / | =
= | o o\\\\\o o | =
= | |\ / \\\\/ \ /| | =
= |u | \ / \\/ \ / | v| =
o o--+--o o o--+--o o
//\ | \ / \ / | /\\
////\ | du \ / \ / dv | /\\\\
o/////o o-----o o-----o o\\\\\o
Figure 56-b4. Tangent Map of the Conjunction J = uv
//\/////\ \ / / \\\\/ \
////\/////\ \ / / \\/ \
o/////o/////o o o o o
/ \/////\//// \ = = /\\ / \ /\\
/ \/////\// \ = = /\\\\ / \ /\\\\
o o/////o o = = o\\\\\o o\\\\\o
/ \ / \//// \ / \ = = / \\\\/ \ / \\\\/ \
/ \ / \// \ / \ = = / \\/ \ / \\/ \
o o o o o o o o o o
|\ / \ / \ / \ /| |\ / \ /\\ / \ /|
| \ / \ / \ / \ / | | \ / \ /\\\\ / \ / |
| o o o o | | o o\\\\\o o |
| |\ / \ / \ /| | | |\ / \\\\/ \ /| |
|u | \ / \ / \ / | v| |u | \ / \\/ \ / | v|
o--+--o o o--+--o o o--+--o o o--+--o
. | \ / \ / | /X\ | \ / \ / | .
.| du \ / \ / dv | /XXX\ | du \ / \ / dv |.
o-----o o-----o /XXXXX\ o-----o o-----o
. \ / /XXXXXXX\ \ / .
. \ / /XXXXXXXXX\ \ / .
. o oXXXXXXXXXXXo o .
. //\XXXXXXXXX/\\ .
. ////\XXXXXXX/\\\\ .
!e!J //////\XXXXX/\\\\\\ EJ
. ////////\XXX/\\\\\\\\ .
. //////////\X/\\\\\\\\\\ .
. o///////////o\\\\\\\\\\\o .
. |\////////// \\\\\\\\\\/| .
. | \//////// \\\\\\\\/ | .
. | \////// \\\\\\/ | .
. | \//// \\\\/ | .
.| x \// \\/ dx |.
o-----o o-----o
\ /
\ / dx = (u, du)(v, dv)
x = uv \ /
\ / dx = uv + u dv + v du + du dv
\ /
o
Figure 56-a2. Secant Map of the Conjunction J = uv
</pre>
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-a2 -- Secant Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-a2. Secant Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-a3. Chord Map of the Conjunction J = uv===
<pre>
<pre>
o o
o
//\ /X\
//\
////\ /XXX\
////\
//////\ oXXXXXo
o/////o
////////\ /X\XXX/X\
/X\////X\
//////////\ /XXX\X/XXX\
/XXX\//XXX\
o///////////o oXXXXXoXXXXXo
oXXXXXoXXXXXo
/ \////////// \ / \XXX/X\XXX/ \
/\\XXX/X\XXX/\\
/ \//////// \ / \X/XXX\X/ \
/\\\\X/XXX\X/\\\\
o\\\\\oXXXXXo\\\\\o
/ \//// \ / \ / \XXX/ \ / \
/ \\\\/ \XXX/ \\\\/ \
/ \// \ / \ / \X/ \ / \
/ \\/ \X/ \\/ \
o o o o o o o o
o o o o o
|\ / \ /| |\ / \ / \ / \ /|
=|\ / \ /\\ / \ /|=
| \ / \ / | | \ / \ / \ / \ / |
= | \ / \ /\\\\ / \ / | =
| \ / \ / | | o o o o |
= | o o\\\\\o o | =
| \ / \ / | | |\ / \ / \ /| |
= | |\ / \\\\/ \ /| | =
| u \ / \ / v | |u | \ / \ / \ / | v|
= |u | \ / \\/ \ / | v| =
o-----o o-----o o--+--o o o--+--o
o o--+--o o o--+--o o
//\ | \ / \ / | / \
////\ | du \ / \ / dv | / \
o/////o o-----o o-----o o o
//\/////\ \ / /\\ /\\
////\/////\ \ / /\\\\ /\\\\
o/////o/////o o o\\\\\o\\\\\o
/ \/////\//// \ = = /\\\\\/\\\\\/\\
/ \/////\// \ = = /\\\\\/\\\\\/\\\\
o o/////o o = = o\\\\\o\\\\\o\\\\\o
/ \ / \//// \ / \ = = / \\\\/ \\\\/ \\\\/ \
/ \ / \// \ / \ = = / \\/ \\/ \\/ \
o o o o o o o o o o
|\ / \ / \ / \ /| |\ / \ /\\ / \ /|
| \ / \ / \ / \ / | | \ / \ /\\\\ / \ / |
| o o o o | | o o\\\\\o o |
| |\ / \ / \ /| | | |\ / \\\\/ \ /| |
|u | \ / \ / \ / | v| |u | \ / \\/ \ / | v|
o--+--o o o--+--o o o--+--o o o--+--o
. | \ / \ / | /X\ | \ / \ / | .
.| du \ / \ / dv | /XXX\ | du \ / \ / dv |.
o-----o o-----o /XXXXX\ o-----o o-----o
. \ / /XXXXXXX\ \ / .
. \ / /XXXXXXXXX\ \ / .
. o oXXXXXXXXXXXo o .
. //\XXXXXXXXX/\\ .
. ////\XXXXXXX/\\\\ .
!e!J //////\XXXXX/\\\\\\ DJ
. ////////\XXX/\\\\\\\\ .
. //////////\X/\\\\\\\\\\ .
. o///////////o\\\\\\\\\\\o .
. |\////////// \\\\\\\\\\/| .
. | \//////// \\\\\\\\/ | .
. | \////// \\\\\\/ | .
. | \//// \\\\/ | .
.| x \// \\/ dx |.
o-----o o-----o
\ /
\ / dx = (u, du)(v, dv) - uv
x = uv \ /
\ / dx = u dv + v du + du dv
\ /
o
Figure 56-a3. Chord Map of the Conjunction J = uv
</pre>
Figure 57-1. Radius Operator Diagram for the Conjunction J = uv
<br>
</pre>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-a3 -- Chord Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-a3. Chord Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv===
===Figure 56-a4. Tangent Map of the Conjunction J = uv===
<pre>
<pre>
o
//\
////\
o/////o
/X\////X\
/XXX\//XXX\
oXXXXXoXXXXXo
/\\XXX//\XXX/\\
/\\\\X////\X/\\\\
o\\\\\o/////o\\\\\o
/ \//// \ / \\\\/ \//// \\\\/ \
/ \\\\/\\////\\\\\/ \
/ \// \ / \\/ \// \\/ \
/ \\/\\\\//\\\\\/ \
o o o o o o o o
o o\\\\\o\\\\\o o
|\ / \ /| |\ / \ /\\ / \ /|
=|\ / \\\\/ \\\\/ \ /|=
| \ / \ / | | \ / \ /\\\\ / \ / |
= | \ / \\/ \\/ \ / | =
| \ / \ / | | o o\\\\\o o |
= | o o o o | =
| \ / \ / | | |\ / \\\\/ \ /| |
= | |\ / \ / \ /| | =
| u \ / \ / v | |u | \ / \\/ \ / | v|
= |u | \ / \ / \ / | v| =
o-----o o-----o o--+--o o o--+--o
o o--+--o o o--+--o o
//\ | \ / \ / | / \
////\ | du \ / \ / dv | / \
o/////o o-----o o-----o o o
//\/////\ \ / /\\ /\\
////\/////\ \ / /\\\\ /\\\\
o/////o/////o o o\\\\\o\\\\\o
/ \/////\//// \ = = /\\\\\/ \\\\/\\
/ \/////\// \ = = /\\\\\/ \\/\\\\
o o/////o o = = o\\\\\o o\\\\\o
/ \ / \//// \ / \ = = / \\\\/\\ /\\\\\/ \
/ \ / \// \ / \ = = / \\/\\\\ /\\\\\/ \
o o o o o o o\\\\\o\\\\\o o
|\ / \ / \ / \ /| |\ / \\\\/ \\\\/ \ /|
| \ / \ / \ / \ / | | \ / \\/ \\/ \ / |
| o o o o | | o o o o |
| |\ / \ / \ /| | | |\ / \ / \ /| |
|u | \ / \ / \ / | v| |u | \ / \ / \ / | v|
o--+--o o o--+--o o o--+--o o o--+--o
. | \ / \ / | /X\ | \ / \ / | .
.| du \ / \ / dv | /XXX\ | du \ / \ / dv |.
o-----o o-----o /XXXXX\ o-----o o-----o
. \ / /XXXXXXX\ \ / .
. \ / /XXXXXXXXX\ \ / .
. o oXXXXXXXXXXXo o .
. //\XXXXXXXXX/\\ .
. ////\XXXXXXX/\\\\ .
!e!J //////\XXXXX/\\\\\\ dJ
. ////////\XXX/\\\\\\\\ .
. //////////\X/\\\\\\\\\\ .
. o///////////o\\\\\\\\\\\o .
. |\////////// \\\\\\\\\\/| .
. | \//////// \\\\\\\\/ | .
. | \////// \\\\\\/ | .
. | \//// \\\\/ | .
.| x \// \\/ dx |.
o-----o o-----o
\ /
\ /
x = uv \ / dx = u dv + v du
\ /
\ /
o
Figure 57-2. Secant Operator Diagram for the Conjunction J = uv
Figure 56-a4. Tangent Map of the Conjunction J = uv
</pre>
</pre>
===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-a4 -- Tangent Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-a4. Tangent Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-b1. Radius Map of the Conjunction J = uv===
<pre>
<pre>
o-----------------------o
| |
| |
| |
| o--o o--o |
| / \ / \ |
| / o \ |
/ \////////// \ /\\XXX/X\XXX/\\
| / du / \ dv \ |
| o / \ o |
| | o o | |
| | | | | |
| | o o | |
o o o o o o o o
| o \ / o |
|\ / \ /| |\ / \ /\\ / \ /|
| \ \ / / |
| \ / \ / | | \ / \ /\\\\ / \ / |
| \ o / |
| \ / \ / | | o o\\\\\o o |
| \ / \ / |
| \ / \ / | | |\ / \\\\/ \ /| |
| o--o o--o |
| u \ / \ / v | |u | \ / \\/ \ / | v|
| |
| |
| |
o-----------------------@
\
o-----------------------o \
| | \
| | \
| | \
| o--o o--o | \
| / \ / \ | \
| / o \ | \
| / du / \ dv \ | \
| o / \ o | \
| | o o | @ \
| | | | | |\ \
| | o o | | \ \
| o \ / o | \ \
| \ \ / / | \ \
| \ o / | \ \
| \ / \ / | \ \
| o--o o--o | \ \
| | \ \
| | \ \
| | \ \
o-----------------------o \ \
\ \
////////////o oXXXXXXXXXXXo
o-----------------------@ o--------\----------\---o o-----------------------o
///////////// \ //\XXXXXXXXX/\\
| |\ | \ \ | |```````````````````````|
///////////// \ ////\XXXXXXX/\\\\
| | \ | \ @ | |```````````````````````|
///////////// \ //////\XXXXX/\\\\\\
| | \| \ | |```````````````````````|
| o--o o--o | \ o--o \o--o | |``````o--o```o--o``````|
///////////// \ //////////\X/\\\\\\\\\\
| / \ / \ | |\ / \ /\ \ | |`````/````\`/````\`````|
o//////////// o o///////////o\\\\\\\\\\\o
| / o \ | | \ / o @ \ | |````/``````o``````\````|
|\////////// / |\////////// \\\\\\\\\\/|
| / du / \ dv \ | | \/ du /`\ dv \ | |```/``du``/`\``dv``\```|
| \//////// / | \//////// \\\\\\\\/ |
| o / \ o | | o\ /```\ o | |``o``````/```\``````o``|
| \////// / | \////// \\\\\\/ |
| | o o | | | | \ o`````o | | |``|`````o`````o`````|``|
| \//// / | \//// \\\\/ |
| | | | | | | | @ |``@--|-----|------@``|`````|`````|`````|``|
| x \// / | x \// \\/ dx |
| | o o | | | | o`````o | | |``|`````o`````o`````|``|
o-----o / o-----o o-----o
| o \ / o | | o \```/ o | |``o``````\```/``````o``|
| \ \ / / | | \ \`/ / | |```\``````\`/``````/```|
| \ o / | | \ o / | |````\``````o``````/````|
| \ / \ / | | \ / \ / | |`````\````/`\````/`````|
| o--o o--o | | o--o o--o | |``````o--o```o--o``````|
| | | | |```````````````````````|
| | | | |```````````````````````|
| | | | |```````````````````````|
Figure 57-3. Chord Operator Diagram for the Conjunction J = uv
o-----------------------o o-----------------------o o-----------------------o
\ / \ / \ /
\ !h!J / \ J / \ !h!J /
\ / \ / \ /
\ / o----------\---------/----------o \ /
\ / | \ / | \ /
\ / | \ / | \ /
\ / | o-----o-----o | \ /
\ / | /`````````````\ | \ /
\ / | /```````````````\ | \ /
o------\---/------o | /`````````````````\ | o------\---/------o
| \ / | | /```````````````````\ | | \ / |
| o--o--o | | /`````````````````````\ | | o--o--o |
| /```````\ | | o```````````````````````o | | /```````\ |
| /`````````\ | | |```````````````````````| | | /`````````\ |
| o```````````o | | |```````````````````````| | | o```````````o |
| |````dx`````| @----@ |```````````x`````@-----|------@ |``` dx ````| |
| o```````````o | | |```````````````````````| | | o```````````o |
| \`````````/ | | |```````````````````````| | | \`````````/ |
| \```````/ | | o```````````````````````o | | \```````/ |
| o-----o | | \`````````````````````/ | | o-----o |
| | | \```````````````````/ | | |
o-----------------o | \`````````````````/ | o-----------------o
| \```````````````/ |
| \`````````````/ |
| o-----------o |
| |
| |
o-------------------------------o
Figure 56-b1. Radius Map of the Conjunction J = uv
</pre>
</pre>
===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-b1 -- Radius Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-b1. Radius Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-b2. Secant Map of the Conjunction J = uv===
<pre>
<pre>
o-----------------------o
| |
| |
| |
| o--o o--o |
| / \ / \ |
| / o \ |
| / du /`\ dv \ |
| o /```\ o |
| | o`````o | |
| | |`````| | |
| | o`````o | |
o o o o o\\\\\o\\\\\o o
| o \```/ o |
|\ / \ /| |\ / \\\\/ \\\\/ \ /|
| \ \`/ / |
| \ / \ / | | \ / \\/ \\/ \ / |
| \ o / |
| \ / \ / | | o o o o |
| \ / \ / |
| \ / \ / | | |\ / \ / \ /| |
| o--o o--o |
| u \ / \ / v | |u | \ / \ / \ / | v|
| |
| |
| |
o-----------------------@
\
o-----------------------o \
| | \
| | \
| | \
| o--o o--o | \
| /````\ / \ | \
| /``````o \ | \
| /``du``/ \ dv \ | \
| o``````/ \ o | \
| |`````o o | @ \
| |`````| | | |\ \
| |`````o o | | \ \
| o``````\ / o | \ \
| \``````\ / / | \ \
| \``````o / | \ \
| \````/ \ / | \ \
| o--o o--o | \ \
| | \ \
| | \ \
| | \ \
////////\ /XXXXXXX\
o-----------------------o \ \
\ \
////////////o oXXXXXXXXXXXo
o-----------------------@ o--------\----------\---o o-----------------------o
///////////// \ //\XXXXXXXXX/\\
| |\ | \ \ | |```````````````````````|
///////////// \ ////\XXXXXXX/\\\\
| | \ | \ @ | |```````````````````````|
///////////// \ //////\XXXXX/\\\\\\
| | \| \ | |```````````````````````|
| o--o o--o | \ o--o \o--o | |``````o--o```o--o``````|
///////////// \ //////////\X/\\\\\\\\\\
| / \ /````\ | |\ / \ /\ \ | |`````/ \`/ \`````|
o//////////// o o///////////o\\\\\\\\\\\o
| / o``````\ | | \ / o @ \ | |````/ o \````|
|\////////// / |\////////// \\\\\\\\\\/|
| / du / \``dv``\ | | \/ du /`\ dv \ | |```/ du / \ dv \```|
| \//////// / | \//////// \\\\\\\\/ |
| o / \``````o | | o\ /```\ o | |``o / \ o``|
| \////// / | \////// \\\\\\/ |
| | o o`````| | | | \ o`````o | | |``| o o |``|
| \//// / | \//// \\\\/ |
| | | |`````| | | | @ |``@--|-----|------@``| | | |``|
| x \// / | x \// \\/ dx |
| | o o`````| | | | o`````o | | |``| o o |``|
o-----o / o-----o o-----o
| o \ /``````o | | o \```/ o | |``o \ / o``|
| \ \ /``````/ | | \ \`/ / | |```\ \ / /```|
| \ o``````/ | | \ o / | |````\ o /````|
| \ / \````/ | | \ / \ / | |`````\ /`\ /`````|
| o--o o--o | | o--o o--o | |``````o--o```o--o``````|
| | | | |```````````````````````|
| | | | |```````````````````````|
| | | | |```````````````````````|
Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv
o-----------------------o o-----------------------o o-----------------------o
\ / \ / \ /
\ EJ / \ J / \ EJ /
\ / \ / \ /
\ / o----------\---------/----------o \ /
\ / | \ / | \ /
\ / | \ / | \ /
\ / | o-----o-----o | \ /
\ / | /`````````````\ | \ /
\ / | /```````````````\ | \ /
o------\---/------o | /`````````````````\ | o------\---/------o
| \ / | | /```````````````````\ | | \ / |
| o--o--o | | /`````````````````````\ | | o--o--o |
| /```````\ | | o```````````````````````o | | /```````\ |
| /`````````\ | | |```````````````````````| | | /`````````\ |
| o```````````o | | |```````````````````````| | | o```````````o |
| |````dx`````| @----@ |```````````x`````@-----|------@ |``` dx ````| |
| o```````````o | | |```````````````````````| | | o```````````o |
| \`````````/ | | |```````````````````````| | | \`````````/ |
| \```````/ | | o```````````````````````o | | \```````/ |
| o-----o | | \`````````````````````/ | | o-----o |
| | | \```````````````````/ | | |
o-----------------o | \`````````````````/ | o-----------------o
| \```````````````/ |
| \`````````````/ |
| o-----------o |
| |
| |
o-------------------------------o
Figure 56-b2. Secant Map of the Conjunction J = uv
</pre>
</pre>
===Formula Display 11===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-b2 -- Secant Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-b2. Secant Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-b3. Chord Map of the Conjunction J = uv===
<pre>
<pre>
o-----------------------o
o------o-------------------------o------------------o----------------------------o
| |
| Item | Notation | Description | Type |
| |
o------o-------------------------o------------------o----------------------------o
| |
| | | | |
| o--o o--o |
| U% | = [u, v] | Source Universe | [B^n] |
| / \ / \ |
| | | | |
| / o \ |
o------o-------------------------o------------------o----------------------------o
| / du /`\ dv \ |
| o /```\ o |
| X% | = [x, y] | Target Universe | [B^k] |
| | o`````o | |
| | = [f, g] | | |
| | |`````| | |
| | | | |
| | o`````o | |
o------o-------------------------o------------------o----------------------------o
| o \```/ o |
| \ \`/ / |
| \ o / |
| \ / \ / |
| o--o o--o |
| |
| | | | |
| |
| EX% | = [x, y, dx, dy] | Extended | [B^k x D^k] |
| |
| | = [f, g, df, dg] | Target Universe | |
o-----------------------@
| | | | |
\
o-----------------------o \
| | | | |
| | \
| F | F = <f, g> : U% -> X% | Transformation, | [B^n] -> [B^k] |
| | \
| | | or Mapping | |
| | \
| | | | |
| o--o o--o | \
o------o-------------------------o------------------o----------------------------o
| /````\ / \ | \
| | | | |
| /``````o \ | \
| | f, g : U -> B | Proposition, | B^n -> B |
| /``du``/ \ dv \ | \
| | | special case | |
| o``````/ \ o | \
| f | f : U -> [x] c X% | of a mapping, | c (B^n, B^n -> B) |
| |`````o o | @ \
| |`````| | | |\ \
| g | g : U -> [y] c X% | of a mapping. | = (B^n +-> B) = [B^n] |
| |`````o o | | \ \
| o``````\ / o | \ \
o------o-------------------------o------------------o----------------------------o
| \``````\ / / | \ \
| \``````o / | \ \
| \````/ \ / | \ \
| o--o o--o | \ \
| | \ \
| | \ \
| | \ \
o-----------------------o \ \
\ \
o-----------------------@ o--------\----------\---o o-----------------------o
| | | |
| |\ | \ \ | | |
| !e! | | Tacit Extension Operator !e! |
| | \ | \ @ | | |
| !h! | | Trope Extension Operator !h! |
| | \| \ | | |
| E | | Enlargement Operator E |
| o--o o--o | \ o--o \o--o | | o--o o--o |
| D | | Difference Operator D |
| / \ /````\ | |\ / \ /\ \ | | /````\ /````\ |
| d | | Differential Operator d |
| / o``````\ | | \ / o @ \ | | /``````o``````\ |
| | | |
| / du / \``dv``\ | | \/ du /`\ dv \ | | /``du``/`\``dv``\ |
o------o-------------------------o------------------o----------------------------o
| o / \``````o | | o\ /```\ o | | o``````/```\``````o |
| | | | |
| | o o`````| | | | \ o`````o | | | |`````o`````o`````| |
| $W$ | $W$ : | Operator | |
| | | |`````| | | | @ |``@--|-----|------@ |`````|`````|`````| |
| | U% -> $T$U% = EU%, | | [B^n] -> [B^n x D^n], |
| | o o`````| | | | o`````o | | | |`````o`````o`````| |
| | X% -> $T$X% = EX%, | | [B^k] -> [B^k x D^k], |
| o \ /``````o | | o \```/ o | | o``````\```/``````o |
| \ \ /``````/ | | \ \`/ / | | \``````\`/``````/ |
| \ o``````/ | | \ o / | | \``````o``````/ |
| \ / \````/ | | \ / \ / | | \````/ \````/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| | | | | |
| | | | | |
| | | | | |
o-----------------------o o-----------------------o o-----------------------o
\ / \ / \ /
\ DJ / \ J / \ DJ /
\ / \ / \ /
\ / o----------\---------/----------o \ /
\ / | \ / | \ /
\ / | \ / | \ /
\ / | o-----o-----o | \ /
\ / | /`````````````\ | \ /
\ / | /```````````````\ | \ /
o------\---/------o | /`````````````````\ | o------\---/------o
| \ / | | /```````````````````\ | | \ / |
| o--o--o | | /`````````````````````\ | | o--o--o |
| /```````\ | | o```````````````````````o | | /```````\ |
| /`````````\ | | |```````````````````````| | | /`````````\ |
| o```````````o | | |```````````````````````| | | o```````````o |
| |````dx`````| @----@ |```````````x`````@-----|------@ |``` dx ````| |
| o```````````o | | |```````````````````````| | | o```````````o |
| \`````````/ | | |```````````````````````| | | \`````````/ |
| \```````/ | | o```````````````````````o | | \```````/ |
| o-----o | | \`````````````````````/ | | o-----o |
| | | \```````````````````/ | | |
o-----------------o | \`````````````````/ | o-----------------o
| \```````````````/ |
| \`````````````/ |
| o-----------o |
| |
| |
o-------------------------------o
Figure 56-b3. Chord Map of the Conjunction J = uv
</pre>
</pre>
===Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-b3 -- Chord Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-b3. Chord Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 56-b4. Tangent Map of the Conjunction J = uv===
<pre>
<pre>
o-----------------------o
o--------------o----------------------o--------------------o----------------------o
| |
| | Operator | Proposition | Transformation |
| |
| | or | or | or |
| |
| | Operand | Component | Mapping |
| o--o o--o |
o--------------o----------------------o--------------------o----------------------o
| / \ / \ |
| | | | |
| / o \ |
| Operand | F = <F_1, F_2> | F_i : <|u,v|> -> B | F : [u, v] -> [x, y] |
| / du / \ dv \ |
| | | | |
| o / \ o |
| | F = <f, g> : U -> X | F_i : B^n -> B | F : B^n -> B^k |
| | o o | |
| | | | |
| | | | | |
o--------------o----------------------o--------------------o----------------------o
| | o o | |
| | | | |
| o \ / o |
| Tacit | !e! : | !e!F_i : | !e!F : |
| \ \ / / |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> B | [u,v,du,dv]->[x, y] |
| \ o / |
| | (U%->X%)->(EU%->X%) | B^n x D^n -> B | [B^n x D^n]->[B^k] |
| \ / \ / |
| o--o o--o |
| |
| | | | |
| |
| Trope | !h! : | !h!F_i : | !h!F : |
| |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
o-----------------------@
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
\
| | | | |
o-----------------------o \
o--------------o----------------------o--------------------o----------------------o
| | \
| | | | |
| | \
| Enlargement | E : | EF_i : | EF : |
| | \
| o--o o--o | \
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| /````\ / \ | \
| | | | |
| /``````o \ | \
o--------------o----------------------o--------------------o----------------------o
| /``du``/`\ dv \ | \
| | | | |
| o``````/```\ o | \
| Difference | D : | DF_i : | DF : |
| |`````o`````o | @ \
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| |`````|`````| | |\ \
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| |`````o`````o | | \ \
| | | | |
| o``````\```/ o | \ \
o--------------o----------------------o--------------------o----------------------o
| \``````\`/ / | \ \
| \``````o / | \ \
| \````/ \ / | \ \
| o--o o--o | \ \
| | \ \
| | \ \
| | \ \
| | | | |
o-----------------------o \ \
\ \
o-----------------------@ o--------\----------\---o o-----------------------o
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| |\ | \ \ | | |
| | | | |
| | \ | \ @ | | |
| | \| \ | | |
| | | | |
| o--o o--o | \ o--o \o--o | | o--o o--o |
| Radius | $e$ = <!e!, !h!> : | | $e$F : |
| / \ /````\ | |\ / \ /\ \ | | /````\ /````\ |
| Operator | | | |
| / o``````\ | | \ / o @ \ | | /``````o``````\ |
| | U%->EU%, X%->EX%, | | [u, v, du, dv] -> |
| / du /`\``dv``\ | | \/ du /`\ dv \ | | /``du``/ \``dv``\ |
| | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], |
| o /```\``````o | | o\ /```\ o | | o``````/ \``````o |
| | | | |
| | o`````o`````| | | | \ o`````o | | | |`````o o`````| |
| | |`````|`````| | | | @ |``@--|-----|------@ |`````| |`````| |
| | o`````o`````| | | | o`````o | | | |`````o o`````| |
| o \```/``````o | | o \```/ o | | o``````\ /``````o |
| \ \`/``````/ | | \ \`/ / | | \``````\ /``````/ |
| \ o``````/ | | \ o / | | \``````o``````/ |
| \ / \````/ | | \ / \ / | | \````/ \````/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| | | | | |
| | | | | |
| | | | | |
o-----------------------o o-----------------------o o-----------------------o
\ / \ / \ /
\ dJ / \ J / \ dJ /
\ / \ / \ /
\ / o----------\---------/----------o \ /
\ / | \ / | \ /
\ / | \ / | \ /
\ / | o-----o-----o | \ /
\ / | /`````````````\ | \ /
\ / | /```````````````\ | \ /
o------\---/------o | /`````````````````\ | o------\---/------o
| \ / | | /```````````````````\ | | \ / |
| o--o--o | | /`````````````````````\ | | o--o--o |
| /```````\ | | o```````````````````````o | | /```````\ |
| /`````````\ | | |```````````````````````| | | /`````````\ |
| o```````````o | | |```````````````````````| | | o```````````o |
| |````dx`````| @----@ |```````````x`````@-----|------@ |``` dx ````| |
| o```````````o | | |```````````````````````| | | o```````````o |
| \`````````/ | | |```````````````````````| | | \`````````/ |
| \```````/ | | o```````````````````````o | | \```````/ |
| o-----o | | \`````````````````````/ | | o-----o |
| | | | [B^k x D^k] |
| | | \```````````````````/ | | |
| | | | |
o-----------------o | \`````````````````/ | o-----------------o
o--------------o----------------------o--------------------o----------------------o
| \```````````````/ |
| \`````````````/ |
| o-----------o |
| |
| |
o-------------------------------o
Figure 56-b4. Tangent Map of the Conjunction J = uv
</pre>
</pre>
===Formula Display 13===
<br>
<p>[[Image:Diff Log Dyn Sys -- Figure 56-b4 -- Tangent Map of J.gif|center]]</p>
<p><center><font size="+1">'''Figure 56-b4. Tangent Map of the Conjunction ''J'' = ''uv'''''</font></center></p>
===Figure 57-1. Radius Operator Diagram for the Conjunction J = uv===
<pre>
<pre>
o o
o-------------o-------------o-------------o-------------o
//\ /X\
////\ /XXX\
o-------------o-------------o-------------o-------------o
//////\ oXXXXXo
////////\ /X\XXX/X\
//////////\ /XXX\X/XXX\
o///////////o oXXXXXoXXXXXo
/ \////////// \ / \XXX/X\XXX/ \
/ \//////// \ / \X/XXX\X/ \
/ \////// \ o oXXXXXo o
/ \//// \ / \ / \XXX/ \ / \
/ \// \ / \ / \X/ \ / \
o o o o o o o o
o-------------o-------------o-------------o-------------o
|\ / \ /| |\ / \ / \ / \ /|
| | | ((u)(v)) | ((u, v)) |
| \ / \ / | | \ / \ / \ / \ / |
o-------------o-------------o-------------o-------------o
| \ / \ / | | o o o o |
| \ / \ / | | |\ / \ / \ /| |
| u \ / \ / v | |u | \ / \ / \ / | v|
o-----o o-----o o--+--o o o--+--o
\ / | \ / \ / |
\ / | du \ / \ / dv |
\ / o-----o o-----o
\ / \ /
\ / \ /
o o
U% $e$ $E$U%
o------------------>o
| |
| |
| |
| |
J | | $e$J
| |
| |
| |
v v
o------------------>o
X% $e$ $E$X%
o o
//\ /X\
////\ /XXX\
//////\ /XXXXX\
////////\ /XXXXXXX\
//////////\ /XXXXXXXXX\
////////////o oXXXXXXXXXXXo
///////////// \ //\XXXXXXXXX/\\
///////////// \ ////\XXXXXXX/\\\\
///////////// \ //////\XXXXX/\\\\\\
///////////// \ ////////\XXX/\\\\\\\\
///////////// \ //////////\X/\\\\\\\\\\
o//////////// o o///////////o\\\\\\\\\\\o
|\////////// / |\////////// \\\\\\\\\\/|
| \//////// / | \//////// \\\\\\\\/ |
/ \ / \
| \////// / | \////// \\\\\\/ |
| \//// / | \//// \\\\/ |
| x \// / | x \// \\/ dx |
| o---o o---o | |\\\\\\o---o\\\o---o\\\\\\|
o-----o / o-----o o-----o
| //////\ //////\ | |\\\\\/ \\/ \\\\\\|
\ / \ /
| ////////o///////\ | |\\\\/ o \\\\\|
\ / \ /
| //////////\///////\ | |\\\/ /\\ \\\\|
\ / \ /
| o///////o///o///////o | |\\o o\\\o o\\|
\ / \ /
\ / \ /
o o
Figure 57-1. Radius Operator Diagram for the Conjunction J = uv
Figure 61. Propositional Transformation
</pre>
</pre>
===Figure 62. Propositional Transformation (Short Form)===
<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===
<pre>
<pre>
o-------------------------o o-------------------------o
o o
//\ /X\
////\ /XXX\
//////\ oXXXXXo
////////\ //\XXX//\
//////////\ ////\X////\
o///////////o o/////o/////o
/ \////////// \ /\\/////\////\\
/ \//////// \ /\\\\/////\//\\\\
/ \////// \ o\\\\\o/////o\\\\\o
/ \//// \ / \\\\/ \//// \\\\/ \
/ \// \ / \\/ \// \\/ \
| o---o o---o | |\\\\\\o---o\\\o---o\\\\\\|
o o o o o o o o
| | |\\\\\\\\\\\\\\\\\\\\\\\\\|
|\ / \ /| |\ / \ /\\ / \ /|
o-------------------------o o-------------------------o
| \ / \ / | | \ / \ /\\\\ / \ / |
| \ / \ / | | o o\\\\\o o |
| \ / \ / | | |\ / \\\\/ \ /| |
| u \ / \ / v | |u | \ / \\/ \ / | v|
o-----o o-----o o--+--o o o--+--o
\ / | \ / \ / |
\ / | du \ / \ / dv |
\ / o-----o o-----o
\ / \ /
\ / \ /
o---------\-----/---------------------\-----/---------o
o o
| X \ / \ / |
U% $E$ $E$U%
| \ / \ / |
o------------------>o
| o-----------o o-----------o |
| |
| |
| |
| |
J | | $E$J
| |
| |
| |
v v
o------------------>o
| \///////////////\XXX/\\\\\\\\\\\\\\\/ |
X% $E$ $E$X%
| \///////////////\X/\\\\\\\\\\\\\\\/ |
o o
| \///////////////o\\\\\\\\\\\\\\\/ |
//\ /X\
| \////////////// \\\\\\\\\\\\\\/ |
////\ /XXX\
//////\ /XXXXX\
////////\ /XXXXXXX\
//////////\ /XXXXXXXXX\
o-----------------------------------------------------o
////////////o oXXXXXXXXXXXo
Figure 62. Propositional Transformation (Short Form)
///////////// \ //\XXXXXXXXX/\\
///////////// \ ////\XXXXXXX/\\\\
///////////// \ //////\XXXXX/\\\\\\
///////////// \ ////////\XXX/\\\\\\\\
///////////// \ //////////\X/\\\\\\\\\\
o//////////// o o///////////o\\\\\\\\\\\o
|\////////// / |\////////// \\\\\\\\\\/|
| \//////// / | \//////// \\\\\\\\/ |
| \////// / | \////// \\\\\\/ |
| \//// / | \//// \\\\/ |
| x \// / | x \// \\/ dx |
o-----o / o-----o o-----o
\ / \ /
\ / \ /
\ / \ /
\ / \ /
\ / \ /
o o
Figure 57-2. Secant Operator Diagram for the Conjunction J = uv
</pre>
</pre>
===Figure 63. Transformation of Positions===
<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===
<pre>
<pre>
o o
//\ //\
////\ ////\
//////\ o/////o
////////\ /X\////X\
//////////\ /XXX\//XXX\
o///////////o oXXXXXoXXXXXo
/ \////////// \ /\\XXX/X\XXX/\\
/ \//////// \ /\\\\X/XXX\X/\\\\
/ \////// \ o\\\\\oXXXXXo\\\\\o
/ \//// \ / \\\\/ \XXX/ \\\\/ \
/ \// \ / \\/ \X/ \\/ \
o o o o o o o o
|\ / \ /| |\ / \ /\\ / \ /|
| \ / \ / | | \ / \ /\\\\ / \ / |
| \ / \ / | | o o\\\\\o o |
| \ / \ / | | |\ / \\\\/ \ /| |
| u \ / \ / v | |u | \ / \\/ \ / | v|
o-----o o-----o o--+--o o o--+--o
\ / | \ / \ / |
\ / | du \ / \ / dv |
\ / o-----o o-----o
\ / \ /
\ / \ /
o o
U% $D$ $E$U%
o------------------>o
| |
| /'''''\ /'''''\ | | \ | | |`````/ \`/ \`````|
| |
| |
| /'''''''/'\'''''''\ | | \ | | |```/ /`\ \```|
| |
| o'''''''o'''o'''''''o | | \ | | |``o o```o o``|
J | | $D$J
| |
| |
| |
v v
| \'''''/ \'''''/ | | |\ | |`````\ /`\ /`````|
o------------------>o
X% $D$ $E$X%
o o
o-------------------------o | | \ / o-------------------------o
//\ /X\
////\ /XXX\
//////\ /XXXXX\
////////\ /XXXXXXX\
//////////\ /XXXXXXXXX\
////////////o oXXXXXXXXXXXo
///////////// \ //\XXXXXXXXX/\\
///////////// \ ////\XXXXXXX/\\\\
///////////// \ //////\XXXXX/\\\\\\
///////////// \ ////////\XXX/\\\\\\\\
///////////// \ //////////\X/\\\\\\\\\\
o//////////// o o///////////o\\\\\\\\\\\o
|\////////// / |\////////// \\\\\\\\\\/|
| \//////// / | \//////// \\\\\\\\/ |
| \////// / | \////// \\\\\\/ |
| \//// / | \//// \\\\/ |
| x \// / | x \// \\/ dx |
o-----o / o-----o o-----o
\ / \ /
\ / \ /
\ / \ /
\ / \ /
\ / \ /
| o' ' ' ' ' ' ' 'o^^^^^o` ` ` ` ` ` ` `o |
o o
Figure 57-3. Chord Operator Diagram for the Conjunction J = uv
Figure 63. Transformation of Positions
</pre>
</pre>
===Table 64. Transformation of Positions===
<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===
<pre>
<pre>
o o
o-----o----------o----------o-------o-------o--------o--------o-------------o
//\ //\
////\ ////\
o-----o----------o----------o-------o-------o--------o--------o-------------o
//////\ o/////o
| | | | | | | | ^ |
////////\ /X\////X\
//////////\ /XXX\//XXX\
| | | | | | | | |
o///////////o oXXXXXoXXXXXo
/ \////////// \ /\\XXX//\XXX/\\
| | | | | | | | = |
/ \//////// \ /\\\\X////\X/\\\\
/ \////// \ o\\\\\o/////o\\\\\o
/ \//// \ / \\\\/\\////\\\\\/ \
| 1 1 | 1 | 1 | 1 | 0 | 0 | 0 | ^ |
/ \// \ / \\/\\\\//\\\\\/ \
o o o o o\\\\\o\\\\\o o
o-----o----------o----------o-------o-------o--------o--------o-------------o
|\ / \ /| |\ / \\\\/ \\\\/ \ /|
| | ((u)(v)) | ((u, v)) | u v | (u,v) | (u)(v) | 0 | U% = [u, v] |
| \ / \ / | | \ / \\/ \\/ \ / |
o-----o----------o----------o-------o-------o--------o--------o-------------o
| \ / \ / | | o o o o |
| \ / \ / | | |\ / \ / \ /| |
| u \ / \ / v | |u | \ / \ / \ / | v|
o-----o o-----o o--+--o o o--+--o
\ / | \ / \ / |
\ / | du \ / \ / dv |
\ / o-----o o-----o
o------------o---------------------------------o------------o
\ / \ /
\ / \ /
o------------o----------o-----------o----------o------------o
o o
| | u = | 1 1 0 0 | = u | |
U% $T$ $E$U%
| | v = | 1 0 1 0 | = v | |
o------------------>o
| f_i <x, y> o----------o-----------o----------o f_j <u, v> |
| |
| | x = | 1 1 1 0 | = f<u,v> | |
| |
| |
o------------o----------o-----------o----------o------------o
| |
J | | $T$J
| |
| |
| |
v v
o------------------>o
X% $T$ $E$X%
o o
| | | | | |
//\ /X\
////\ /XXX\
| | | | | |
//////\ /XXXXX\
| f_5 | (y) | 0 1 0 1 | (u, v) | f_6 |
////////\ /XXXXXXX\
| | | | | |
//////////\ /XXXXXXXXX\
| f_6 | (x, y) | 0 1 1 0 | (u v) | f_7 |
////////////o oXXXXXXXXXXXo
///////////// \ //\XXXXXXXXX/\\
///////////// \ ////\XXXXXXX/\\\\
///////////// \ //////\XXXXX/\\\\\\
o------------o----------o-----------o----------o------------o
///////////// \ ////////\XXX/\\\\\\\\
///////////// \ //////////\X/\\\\\\\\\\
o//////////// o o///////////o\\\\\\\\\\\o
|\////////// / |\////////// \\\\\\\\\\/|
| \//////// / | \//////// \\\\\\\\/ |
| \////// / | \////// \\\\\\/ |
| \//// / | \//// \\\\/ |
| x \// / | x \// \\/ dx |
o-----o / o-----o o-----o
\ / \ /
\ / \ /
\ / \ /
\ / \ /
\ / \ /
o o
Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv
</pre>
</pre>
===Formula Display 15===
<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 16===
<pre>
<pre>
o-------------------------------------------------o
o-----------------------------------------------------------o
| |
| |
| Ef = ((u + du)(v + dv)) |
| F = <f, g> = <F_1, F_2> : [u, v] -> [x, y] |
| |
| |
| Eg = ((u + du, v + dv)) |
| where f = F_1 : [u, v] -> [x] |
| |
| |
o-------------------------------------------------o
| and g = F_2 : [u, v] -> [y] |
| |
o-----------------------------------------------------------o
</pre>
</pre>
===Formula Display 17===
<br><font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"
| ''F''
| =
| align="center" | ‹''f'', ''g''›
| =
| align="center" | ‹''F''<sub>1</sub>, ''F''<sub>2</sub>›
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''x'', ''y''<nowiki>]</nowiki>
|-
| colspan="2" | where
| align="center" | ''f''
| =
| align="center" | ''F''<sub>1</sub>
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''x''<nowiki>]</nowiki>
|-
| colspan="2" | and
| align="center" | ''g''
| =
| align="center" | ''F''<sub>2</sub>
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''y''<nowiki>]</nowiki>
|}
|}
</font><br>
<pre>
<br><font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
| |
|
| Df = ((u)(v)) + ((u + du)(v + dv)) |
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| |
| align="left" | ''F''
| Dg = ((u, v)) + ((u + du, v + dv)) |
| =
| |
| ‹''f'', ''g''›
| =
</pre>
| ‹''F''<sub>1</sub>, ''F''<sub>2</sub>›
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''x'', ''y''<nowiki>]</nowiki>
|-
| align="left" colspan="2" | where
| ''f''
| =
| ''F''<sub>1</sub>
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''x''<nowiki>]</nowiki>
|-
| align="left" colspan="2" | and
| ''g''
| =
| ''F''<sub>2</sub>
| :
| <nowiki>[</nowiki>''u'', ''v''<nowiki>]</nowiki>
| →
| <nowiki>[</nowiki>''y''<nowiki>]</nowiki>
|}
|}
</font><br>
===Table 66-i. Computation Summary for f‹u, v› = ((u)(v))===
===Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators===
<pre>
<pre>
Table 66-i. Computation Summary for f<u, v> = ((u)(v))
Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators
o--------------------------------------------------------------------------------o
o------o-------------------------o------------------o----------------------------o
| |
| Item | Notation | Description | Type |
| !e!f = uv. 1 + u(v). 1 + (u)v. 1 + (u)(v). 0 |
o------o-------------------------o------------------o----------------------------o
| | | | |
| U% | = [u, v] | Source Universe | [B^n] |
| |
| | | | |
| Df = uv. du dv + u(v). du (dv) + (u)v. (du) dv + (u)(v).((du)(dv)) |
o------o-------------------------o------------------o----------------------------o
| | | | |
| X% | = [x, y] | Target Universe | [B^k] |
| |
| | = [f, g] | | |
| rf = uv. du dv + u(v). du dv + (u)v. du dv + (u)(v). du dv |
| | | | |
| |
o------o-------------------------o------------------o----------------------------o
o--------------------------------------------------------------------------------o
| | | | |
| EU% | = [u, v, du, dv] | Extended | [B^n x D^n] |
| | | Source Universe | |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| EX% | = [x, y, dx, dy] | Extended | [B^k x D^k] |
| | = [f, g, df, dg] | Target Universe | |
| |
| | | | |
| !e!g = uv. 1 + u(v). 0 + (u)v. 0 + (u)(v). 1 |
o------o-------------------------o------------------o----------------------------o
| |
| | | | |
| Eg = uv.((du, dv)) + u(v). (du, dv) + (u)v. (du, dv) + (u)(v).((du, dv)) |
| F | F = <f, g> : U% -> X% | Transformation, | [B^n] -> [B^k] |
| | | or Mapping | |
| Dg = uv. (du, dv) + u(v). (du, dv) + (u)v. (du, dv) + (u)(v). (du, dv) |
| | | | |
| |
o------o-------------------------o------------------o----------------------------o
| | | | |
| | f, g : U -> B | Proposition, | B^n -> B |
| | | special case | |
| |
| f | f : U -> [x] c X% | of a mapping, | c (B^n, B^n -> B) |
| | | or component | |
| g | g : U -> [y] c X% | of a mapping. | = (B^n +-> B) = [B^n] |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | | |
| W | W : | Operator | |
| | U% -> EU%, | | [B^n] -> [B^n x D^n], |
| | X% -> EX%, | | [B^k] -> [B^k x D^k], |
| | (U%->X%)->(EU%->EX%), | | ([B^n] -> [B^k]) |
| | for each W among: | | -> |
| | | | | | | | |
| | !e!, !h!, E, D, d | | ([B^n x D^n]->[B^k x D^k]) |
| 0 0 | 0 0 | 0 0 | 0 1 | 0 1 | 0 0 | 0 0 | 0 0 |
| | | | |
| | | | | | | | |
o------o-------------------------o------------------o----------------------------o
| | 0 1 | 0 1 | | 1 0 | 1 1 | 1 1 | 0 0 |
| | | |
| !e! | | Tacit Extension Operator !e! |
| !h! | | Trope Extension Operator !h! |
| | | | | | | | |
| E | | Enlargement Operator E |
| | 1 1 | 1 1 | | 1 1 | 1 0 | 0 0 | 1 0 |
| D | | Difference Operator D |
| | | | | | | | |
| d | | Differential Operator d |
| | | |
o------o-------------------------o------------------o----------------------------o
| 0 1 | 0 0 | 0 1 | 1 0 | 1 0 | 0 0 | 0 0 | 0 0 |
| | | | |
| | | | | | | | |
| $W$ | $W$ : | Operator | |
| | U% -> $T$U% = EU%, | | [B^n] -> [B^n x D^n], |
| | X% -> $T$X% = EX%, | | [B^k] -> [B^k x D^k], |
| | (U%->X%)->($T$U%->$T$X%)| | ([B^n] -> [B^k]) |
| | for each $W$ among: | | -> |
| | $e$, $E$, $D$, $T$ | | ([B^n x D^n]->[B^k x D^k]) |
| | | | |
o------o-------------------------o------------------o----------------------------o
| | | |
| $e$ | | Radius Operator $e$ = <!e!, !h!> |
| $E$ | | Secant Operator $E$ = <!e!, E > |
| $D$ | | Chord Operator $D$ = <!e!, D > |
| $T$ | | Tangent Functor $T$ = <!e!, d > |
| | | |
o------o-------------------------o-----------------------------------------------o
</pre>
</pre>
===Table 68. Computation of an Analytic Series in Symbolic Terms===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
|+ '''Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators'''
|- style="background:paleturquoise"
! Item
! Notation
| u v | f g | Df | Dg | df | dg | rf | rf |
! Description
! Type
| | | | | | | | |
|-
| 0 0 | 0 1 | ((du)(dv)) | (du, dv) | (du, dv) | (du, dv) | du dv | () |
| valign="top" | ''U''<sup> •</sup>
| | | | | | | | |
| valign="top" | <font face="courier new">= </font>[''u'', ''v'']
| 0 1 | 1 0 | (du) dv | (du, dv) | dv | (du, dv) | du dv | () |
| valign="top" | Source Universe
| | | | | | | | |
| valign="top" | ['''B'''<sup>''n''</sup>]
| 1 0 | 1 0 | du (dv) | (du, dv) | du | (du, dv) | du dv | () |
|-
| | | | | | | | |
| valign="top" | ''X''<sup> •</sup>
| 1 1 | 1 1 | du dv | (du, dv) | () | (du, dv) | du dv | () |
| valign="top" |
| | | | | | | | |
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face="courier new">= </font>[''x'', ''y'']
</pre>
|-
| <font face="courier new">= </font>[''f'', ''g'']
===Formula Display 18===
|}
| valign="top" | Target Universe
<pre>
| valign="top" | ['''B'''<sup>''k''</sup>]
|-
| |
| valign="top" | E''U''<sup> •</sup>
| Df = uv. du dv + u(v). du (dv) + (u)v.(du) dv + (u)(v).((du)(dv)) |
| valign="top" | <font face="courier new">= </font>[''u'', ''v'', d''u'', d''v'']
| |
| valign="top" | Extended Source Universe
| Dg = uv.(du, dv) + u(v).(du, dv) + (u)v.(du, dv) + (u)(v). (du, dv) |
| valign="top" | ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>]
| |
|-
| valign="top" | E''X''<sup> •</sup>
</pre>
| valign="top" |
{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face="courier new">= </font>[''x'', ''y'', d''x'', d''y'']
|-
| <font face="courier new">= </font>[''f'', ''g'', d''f'', d''g'']
|}
| valign="top" | Extended Target Universe
| valign="top" | ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>]
|-
| ''F''
| ''F'' = ‹''f'', ''g''› : ''U''<sup> •</sup> → ''X''<sup> •</sup>
| Transformation, or Mapping
| ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>]
|-
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
|
|-
| ''f''
|-
| ''g''
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| ''f'', ''g'' : ''U'' → '''B'''
|-
| ''f'' : ''U'' → [''x''] ⊆ ''X''<sup> •</sup>
|-
| ''g'' : ''U'' → [''y''] ⊆ ''X''<sup> •</sup>
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Proposition
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
| '''B'''<sup>''n''</sup> → '''B'''
|-
| ∈ ('''B'''<sup>''n''</sup>, '''B'''<sup>''n''</sup> → '''B''')
|-
| = ('''B'''<sup>''n''</sup> +→ '''B''') = ['''B'''<sup>''n''</sup>]
|}
|-
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| W
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| W :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> ,
|-
| ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>)
|-
| →
|-
| (E''U''<sup> •</sup> → E''X''<sup> •</sup>) ,
|-
| for each W in the set:
|-
| {<math>\epsilon</math>, <math>\eta</math>, E, D, d}
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Operator
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
|
|-
| ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] ,
|-
| ['''B'''<sup>''k''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>] ,
|-
| (['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>])
|-
| →
|-
| (['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>])
|-
|
|-
|
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>
|-
| <math>\eta</math>
|-
| E
|-
| D
|-
| d
|}
| valign="top" |
| colspan="2" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Tacit Extension Operator || <math>\epsilon</math>
|-
| Trope Extension Operator || <math>\eta</math>
|-
| Enlargement Operator || E
|-
| Difference Operator || D
|-
| Differential Operator || d
|}
|-
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''W'''</font>
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''W'''</font> :
|-
| ''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''U''<sup> •</sup> = E''U''<sup> •</sup> ,
|-
| ''X''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup> = E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>)
|-
| →
|-
| (<font face=georgia>'''T'''</font>''U''<sup> •</sup> → <font face=georgia>'''T'''</font>''X''<sup> •</sup>) ,
|-
| for each <font face=georgia>'''W'''</font> in the set:
|-
| {<font face=georgia>'''e'''</font>, <font face=georgia>'''E'''</font>, <font face=georgia>'''D'''</font>, <font face=georgia>'''T'''</font>}
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Operator
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
|
|-
| ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] ,
|-
| ['''B'''<sup>''k''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>] ,
|-
| (['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>])
|-
| →
|-
| (['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>])
|-
|
|-
|
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <font face=georgia>'''e'''</font>
|-
| <font face=georgia>'''E'''</font>
|-
| <font face=georgia>'''D'''</font>
|-
| <font face=georgia>'''T'''</font>
|}
| valign="top" |
| colspan="2" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:60%"
| Radius Operator || <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>›
|-
| Secant Operator || <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E›
|-
| Chord Operator || <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D›
|-
| Tangent Functor || <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d›
|}
|}<br>
===Formula Display 19===
===Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes===
<pre>
<pre>
o-------------------------------------------------------------------------------o
Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes
| |
o--------------o----------------------o--------------------o----------------------o
| df = uv. 0 + u(v). du + (u)v. dv + (u)(v).(du, dv) |
| | Operator | Proposition | Transformation |
| |
| | or | or | or |
| | Operand | Component | Mapping |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Operand | F = <F_1, F_2> | F_i : <|u,v|> -> B | F : [u, v] -> [x, y] |
| | | | |
===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›===
| | F = <f, g> : U -> X | F_i : B^n -> B | F : B^n -> B^k |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Tacit | !e! : | !e!F_i : | !e!F : |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> B | [u,v,du,dv]->[x, y] |
| | (U%->X%)->(EU%->X%) | B^n x D^n -> B | [B^n x D^n]->[B^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Trope | !h! : | !h!F_i : | !h!F : |
| Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Enlargement | E : | EF_i : | EF : |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
o /@ o /@ o o /@ o /@ o /@ o /@ o
| | | | |
|\ / \ /| |\ / \ / / \ / / \ /|
o--------------o----------------------o--------------------o----------------------o
| \ / \ / | | \ / \ / \ / \ / |
| | | | |
| \ / \ / | | \ / O \ / O \ / O \ / |
| Difference | D : | DF_i : | DF : |
| \ / \ / | | o /@ o @\ o /@ o |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| | | | |
| u \ / O \ / v | | u | \ / O \ / O \ / | v |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Differential | d : | dF_i : | dF : |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Remainder | r : | rF_i : | rF : |
| Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] |
| | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Radius | $e$ = <!e!, !h!> : | | $e$F : |
| Operator | | | |
| | U%->EU%, X%->EX%, | | [u, v, du, dv] -> |
| | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], |
| | | | |
| | | | [B^n x D^n] -> |
| | | | [B^k x D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Secant | $E$ = <!e!, E> : | | $E$F : |
| Operator | | | |
| | U%->EU%, X%->EX%, | | [u, v, du, dv] -> |
| | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], |
| | | | |
| | | | [B^n x D^n] -> |
| | | | [B^k x D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| | | | |
| Chord | $D$ = <!e!, D> : | | $D$F : |
| Operator | | | |
| | U%->EU%, X%->EX%, | | [u, v, du, dv] -> |
| | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], |
| | | | |
| | | | [B^n x D^n] -> |
|\ / \ /| |\ / \ / \ / \ / \ / \ /|
| | | | [B^k x D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
| \ / \ / | | o /@ o @ o @\ o |
| | | | |
| Tangent | $T$ = <!e!, d> : | dF_i : | $T$F : |
| Functor | | | |
| x \ / O \ / y | | x | \ / O \ / O \ / | y |
| | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u, v, du, dv] -> |
| | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], |
| | | | |
| | | B^n x D^n -> D | [B^n x D^n] -> |
| | | | [B^k x D^k] |
| | | | |
o--------------o----------------------o--------------------o----------------------o
</pre>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
|+ '''Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes'''
|- style="background:paleturquoise"
|
| align="center" | '''Operator<br>or<br>Operand'''
| align="center" | '''Proposition<br>or<br>Component'''
| align="center" | '''Transformation<br>or<br>Mapping'''
|-
| Operand
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| ''F'' = ‹''F''<sub>1</sub>, ''F''<sub>2</sub>›
|-
| ''F'' = ‹''f'', ''g''› : ''U'' → ''X''
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| ''F''<sub>''i''</sub> : 〈''u'', ''v''〉 → '''B'''
|-
| ''F''<sub>''i''</sub> : '''B'''<sup>''n''</sup> → '''B'''
|}
| valign="top" |
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100"
| ''F'' : [''u'', ''v''] → [''x'', ''y'']
|-
| ''F'' : '''B'''<sup>''n''</sup> → '''B'''<sup>''k''</sup>
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Tacit
|-
| Extension
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math> :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → ''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>''F''<sub>''i''</sub> :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''B'''
|-
| '''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup> → '''B'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\epsilon</math>''F'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [''x'', ''y'']
|-
| ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Trope
|-
| Extension
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math> :
|-
| ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> ,
|-
| (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>)
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math>''F''<sub>''i''</sub> :
|-
| 〈''u'', ''v'', d''u'', d''v''〉 → '''D'''
|-
| '''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup> → '''D'''
|}
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| <math>\eta</math>''F'' :
|-
| [''u'', ''v'', d''u'', d''v''] → [d''x'', d''y'']
|-
| ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''D'''<sup>''k''</sup>]
|}
|-
|
{| align="left" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; text-align:left; width:100%"
| Enlargement
|-
| Operator
o-----------------------o o-----------------------o o-----------------------o
o-----------------------o o-----------------------o o-----------------------o
| dU | | dU | | dU |
| o--o o--o | | o--o o--o | | o--o o--o |
= | o--o o--o | =
| /////\ /////\ | | /XXXX\ /XXXX\ | | /\\\\\ /\\\\\ |
= | /////\ /\\\\\ | =
| ///////o//////\ | | /XXXXXXoXXXXXX\ | | /\\\\\\o\\\\\\\ |
= | ///////o\\\\\\\ | =
| //////// \//////\ | | /XXXXXX/ \XXXXXX\ | | /\\\\\\/ \\\\\\\\ |
= | ////////X\\\\\\\\ | =
| o/////// \//////o | | oXXXXXX/ \XXXXXXo | | o\\\\\\/ \\\\\\\o |
= | o///////XXX\\\\\\\o | =
| |/////o o/////| | | |XXXXXo oXXXXX| | | |\\\\\o o\\\\\| |
= | |/////oXXXXXo\\\\\| | =
| |/du//| |//dv/| | | |XXXXX| |XXXXX| | | |\du\\| |\\dv\| |
= = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
| |/////o o/////| | | |XXXXXo oXXXXX| | | |\\\\\o o\\\\\| |
| |/////oXXXXXo\\\\\| |
| o//////\ ///////o | | oXXXXXX\ /XXXXXXo | | o\\\\\\\ /\\\\\\o |
| o//////\XXX/\\\\\\o |
| \//////\ //////// | | \XXXXXX\ /XXXXXX/ | | \\\\\\\\ /\\\\\\/ |
| \//////\X/\\\\\\/ |
| \//////o/////// | | \XXXXXXoXXXXXX/ | | \\\\\\\o\\\\\\/ |
| \//////o\\\\\\/ |
| \///// \///// | | \XXXX/ \XXXX/ | | \\\\\/ \\\\\/ |
| \///// \\\\\/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| o--o o--o |
| | | | | |
| |
o-----------------------o o-----------------------o o-----------------------o
o-----------------------o
= du' @ (u)(v) o-----------------------o dv' @ (u)(v) =
= | dU' | =
o-----------------------o o-----------------------o o-----------------------o
= | o--o o--o | =
| U | |\U\\\\\\\\\\\\\\\\\\\\\| |\U\\\\\\\\\\\\\\\\\\\\\|
= | /////\ /\\\\\ | =
| o--o o--o | |\\\\\\o--o\\\o--o\\\\\\| |\\\\\\o--o\\\o--o\\\\\\|
= | ///////o\\\\\\\ | =
| /////\ /////\ | |\\\\\/////\\/////\\\\\\| |\\\\\/ \\/ \\\\\\|
= | ////////X\\\\\\\\ | =
| ///////o//////\ | |\\\\///////o//////\\\\\| |\\\\/ o \\\\\|
= | o///////XXX\\\\\\\o | =
| /////////\//////\ | |\\\////////X\//////\\\\| |\\\/ /\\ \\\\|
= | |/////oXXXXXo\\\\\| | =
| o//////////\//////o | |\\o///////XXX\//////o\\| |\\o /\\\\ o\\|
= = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
| |/////o/////o/////| | |\\|/////oXXXXXo/////|\\| |\\| o\\\\\o |\\|
| |/////oXXXXXo\\\\\| |
| |//u//|/////|//v//| | |\\|//u//|XXXXX|//v//|\\| |\\| u |\\\\\| v |\\|
| o//////\XXX/\\\\\\o |
| |/////o/////o/////| | |\\|/////oXXXXXo/////|\\| |\\| o\\\\\o |\\|
| \//////\X/\\\\\\/ |
| o//////\//////////o | |\\o//////\XXX///////o\\| |\\o \\\\/ o\\|
| \//////o\\\\\\/ |
| \//////\///////// | |\\\\//////\X////////\\\| |\\\\ \\/ /\\\|
| \///// \\\\\/ |
| \//////o/////// | |\\\\\//////o///////\\\\| |\\\\\ o /\\\\|
| o--o o--o |
| \///// \///// | |\\\\\\/////\\/////\\\\\| |\\\\\\ /\\ /\\\\\|
| |
| o--o o--o | |\\\\\\o--o\\\o--o\\\\\\| |\\\\\\o--o\\\o--o\\\\\\|
o-----------------------o
| | |\\\\\\\\\\\\\\\\\\\\\\\| |\\\\\\\\\\\\\\\\\\\\\\\|
o-----------------------o o-----------------------o o-----------------------o
o-----------------------o o-----------------------o o-----------------------o
= u' o-----------------------o v' =
| dU | | dU | | dU |
= | U' | =
| o--o o--o | | o--o o--o | | o--o o--o |
= | o--o o--o | =
| / \ /////\ | | /\\\\\ /XXXX\ | | /\\\\\ /\\\\\ |
= | /////\ /\\\\\ | =
| / o//////\ | | /\\\\\\oXXXXXX\ | | /\\\\\\o\\\\\\\ |
= | ///////o\\\\\\\ | =
| / //\//////\ | | /\\\\\\//\XXXXXX\ | | /\\\\\\/ \\\\\\\\ |
= | ////////X\\\\\\\\ | =
| o ////\//////o | | o\\\\\\////\XXXXXXo | | o\\\\\\/ \\\\\\\o |
= | o///////XXX\\\\\\\o | =
| | o/////o/////| | | |\\\\\o/////oXXXXX| | | |\\\\\o o\\\\\| |
= | |/////oXXXXXo\\\\\| | =
| | du |/////|//dv/| | | |\\\\\|/////|XXXXX| | | |\du\\| |\\dv\| |
= = = = = = = = = = =|/u'//|XXXXX|\\v'\|= = = = = = = = = = =
| | o/////o/////| | | |\\\\\o/////oXXXXX| | | |\\\\\o o\\\\\| |
| |/////oXXXXXo\\\\\| |
| o \//////////o | | o\\\\\\\////XXXXXXo | | o\\\\\\\ /\\\\\\o |
| o//////\XXX/\\\\\\o |
| \ \///////// | | \\\\\\\\//XXXXXX/ | | \\\\\\\\ /\\\\\\/ |
| \//////\X/\\\\\\/ |
| \ o/////// | | \\\\\\\oXXXXXX/ | | \\\\\\\o\\\\\\/ |
| \//////o\\\\\\/ |
| \ / \///// | | \\\\\/ \XXXX/ | | \\\\\/ \\\\\/ |
| \///// \\\\\/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| o--o o--o |
| | | | | |
| |
o-----------------------o o-----------------------o o-----------------------o
o-----------------------o
= du' @ (u) v o-----------------------o dv' @ (u) v =
= | dU' | =
= | o--o o--o | =
= | /////\ /\\\\\ | =
= | ///////o\\\\\\\ | =
= | ////////X\\\\\\\\ | =
= | o///////XXX\\\\\\\o | =
= | |/////oXXXXXo\\\\\| | =
= = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
| |/////oXXXXXo\\\\\| |
| o//////\XXX/\\\\\\o |
| \//////\X/\\\\\\/ |
| \//////o\\\\\\/ |
| \///// \\\\\/ |
| o--o o--o |
| |
o-----------------------o
o-----------------------o o-----------------------o o-----------------------o
| dU | | dU | | dU |
| o--o o--o | | o--o o--o | | o--o o--o |
| /////\ / \ | | /XXXX\ /\\\\\ | | /\\\\\ /\\\\\ |
| ///////o \ | | /XXXXXXo\\\\\\\ | | /\\\\\\o\\\\\\\ |
| /////////\ \ | | /XXXXXX//\\\\\\\\ | | /\\\\\\/ \\\\\\\\ |
| o//////////\ o | | oXXXXXX////\\\\\\\o | | o\\\\\\/ \\\\\\\o |
| |/////o/////o | | | |XXXXXo/////o\\\\\| | | |\\\\\o o\\\\\| |
| |/du//|/////| dv | | | |XXXXX|/////|\\\\\| | | |\du\\| |\\dv\| |
| |/////o/////o | | | |XXXXXo/////o\\\\\| | | |\\\\\o o\\\\\| |
| o//////\//// o | | oXXXXXX\////\\\\\\o | | o\\\\\\\ /\\\\\\o |
| \//////\// / | | \XXXXXX\//\\\\\\/ | | \\\\\\\\ /\\\\\\/ |
| \//////o / | | \XXXXXXo\\\\\\/ | | \\\\\\\o\\\\\\/ |
| \///// \ / | | \XXXX/ \\\\\/ | | \\\\\/ \\\\\/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| | | | | |
o-----------------------o o-----------------------o o-----------------------o
= du' @ u (v) o-----------------------o dv' @ u (v) =
= | dU' | =
= | o--o o--o | =
= | /////\ /\\\\\ | =
= | ///////o\\\\\\\ | =
= | ////////X\\\\\\\\ | =
= | o///////XXX\\\\\\\o | =
= | |/////oXXXXXo\\\\\| | =
= = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
| |/////oXXXXXo\\\\\| |
| o//////\XXX/\\\\\\o |
| \//////\X/\\\\\\/ |
| \//////o\\\\\\/ |
| \///// \\\\\/ |
| o--o o--o |
| |
o-----------------------o
o-----------------------o o-----------------------o o-----------------------o
| dU | | dU | | dU |
| o--o o--o | | o--o o--o | | o--o o--o |
| / \ / \ | | /\\\\\ /\\\\\ | | /\\\\\ /\\\\\ |
| / o \ | | /\\\\\\o\\\\\\\ | | /\\\\\\o\\\\\\\ |
| / / \ \ | | /\\\\\\/ \\\\\\\\ | | /\\\\\\/ \\\\\\\\ |
| o / \ o | | o\\\\\\/ \\\\\\\o | | o\\\\\\/ \\\\\\\o |
| | o o | | | |\\\\\o o\\\\\| | | |\\\\\o o\\\\\| |
| | du | | dv | | | |\\\\\| |\\\\\| | | |\du\\| |\\dv\| |
| | o o | | | |\\\\\o o\\\\\| | | |\\\\\o o\\\\\| |
| o \ / o | | o\\\\\\\ /\\\\\\o | | o\\\\\\\ /\\\\\\o |
| \ \ / / | | \\\\\\\\ /\\\\\\/ | | \\\\\\\\ /\\\\\\/ |
| \ o / | | \\\\\\\o\\\\\\/ | | \\\\\\\o\\\\\\/ |
| \ / \ / | | \\\\\/ \\\\\/ | | \\\\\/ \\\\\/ |
| o--o o--o | | o--o o--o | | o--o o--o |
| | | | | |
o-----------------------o o-----------------------o o-----------------------o
= du' @ u v o-----------------------o dv' @ u v =
= | dU' | =
= | o--o o--o | =
= | /////\ /\\\\\ | =
= | ///////o\\\\\\\ | =
= | ////////X\\\\\\\\ | =
= | o///////XXX\\\\\\\o | =
= | |/////oXXXXXo\\\\\| | =
= = = = = = = = = = =|/du'/|XXXXX|\dv'\|= = = = = = = = = = =
| |/////oXXXXXo\\\\\| |
| o//////\XXX/\\\\\\o |
| \//////\X/\\\\\\/ |
| \//////o\\\\\\/ |
| \///// \\\\\/ |
| o--o o--o |
| |
o-----------------------o
o-----------------------o o-----------------------o o-----------------------o
| U | |\U\\\\\\\\\\\\\\\\\\\\\| |\U\\\\\\\\\\\\\\\\\\\\\|
| o--o o--o | |\\\\\\o--o\\\o--o\\\\\\| |\\\\\\o--o\\\o--o\\\\\\|
| /////\ /////\ | |\\\\\/////\\/////\\\\\\| |\\\\\/ \\/ \\\\\\|
| ///////o//////\ | |\\\\///////o//////\\\\\| |\\\\/ o \\\\\|
| /////////\//////\ | |\\\////////X\//////\\\\| |\\\/ /\\ \\\\|
| o//////////\//////o | |\\o///////XXX\//////o\\| |\\o /\\\\ o\\|
| |/////o/////o/////| | |\\|/////oXXXXXo/////|\\| |\\| o\\\\\o |\\|
| |//u//|/////|//v//| | |\\|//u//|XXXXX|//v//|\\| |\\| u |\\\\\| v |\\|
| |/////o/////o/////| | |\\|/////oXXXXXo/////|\\| |\\| o\\\\\o |\\|
| o//////\//////////o | |\\o//////\XXX///////o\\| |\\o \\\\/ o\\|
| \//////\///////// | |\\\\//////\X////////\\\| |\\\\ \\/ /\\\|
| \//////o/////// | |\\\\\//////o///////\\\\| |\\\\\ o /\\\\|
| \///// \///// | |\\\\\\/////\\/////\\\\\| |\\\\\\ /\\ /\\\\\|
| o--o o--o | |\\\\\\o--o\\\o--o\\\\\\| |\\\\\\o--o\\\o--o\\\\\\|
| | |\\\\\\\\\\\\\\\\\\\\\\\| |\\\\\\\\\\\\\\\\\\\\\\\|
o-----------------------o o-----------------------o o-----------------------o
= u' o-----------------------o v' =
= | U' | =
= | o--o o--o | =
= | /////\ /\\\\\ | =
= | ///////o\\\\\\\ | =
= | ////////X\\\\\\\\ | =
= | o///////XXX\\\\\\\o | =
= | |/////oXXXXXo\\\\\| | =
= = = = = = = = = = =|/u'//|XXXXX|\\v'\|= = = = = = = = = = =
| |/////oXXXXXo\\\\\| |
| o//////\XXX/\\\\\\o |
| \//////\X/\\\\\\/ |
| \//////o\\\\\\/ |
| \///// \\\\\/ |
| o--o o--o |
| |
o-----------------------o
Figure 70-b. Tangent Functor Ferris Wheel for F<u, v> = <((u)(v)), ((u, v))>
</pre>
Figure 70-b. Tangent Functor Ferris Wheel for F<u, v> = <((u)(v)), ((u, v))>
[[Image:Tangent_Functor_Ferris_Wheel.gif|frame|<font size="3">'''Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›'''</font>]]
</pre>