Line 8,197: |
Line 8,197: |
| | | | | |
| |- | | |- |
− | | ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] , | + | | ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] , |
| |- | | |- |
− | | ['''B'''<sup>1</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>] , | + | | ['''B'''<sup>''k''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>] , |
| |- | | |- |
− | | (['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>]) | + | | (['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>]) |
| |- | | |- |
| | → | | | → |
| |- | | |- |
− | | (['''B'''<sup>2</sup> × '''D'''<sup>2</sup>] → ['''B'''<sup>1</sup> × '''D'''<sup>1</sup>]) | + | | (['''B'''<sup>''n''</sup> × '''D'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>]) |
| |- | | |- |
| | | | | |
Line 8,234: |
Line 8,234: |
| |} | | |} |
| |}<br> | | |}<br> |
− |
| |
− | <pre>
| |
− | -------------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]) |
| |
− | -------------o
| |
− | | !e! | | Tacit Extension Operator !e!
| |
− | | !h! | | Trope Extension Operator !h!
| |
− | | E | | Enlargement Operator E
| |
− | | D | | Difference Operator D
| |
− | | d | | Differential Operator d
| |
− | -------------o
| |
− | | $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
| |
− | | $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
| |
− | </pre>
| |
| | | |
| ===Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes=== | | ===Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes=== |