Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 16:06, 23 June 2007

113 bytes removed , 16:06, 23 June 2007

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

Line 6,441: Line 6,441:

| ''X'' • → '''T'''''X'' • = E''X'' • ,

|-

−

| (''U'' • → ''X'' •)~~ ~~→~~ ~~('''T'''''U'' • → '''T'''''X'' •) ,

+

| (''U'' • → ''X'' •)

+

|-

+

| →

+

|-

+

| ('''T'''''U'' • → '''T'''''X'' •) ,

|-

| for each '''W''' in the set:

Line 6,455: Line 6,459:

|  

|-

−

| &~~nbsp~~;

+

| ['''B'''2] → ['''B'''2 × '''D'''2],

+

|-

+

| ['''B'''1] → ['''B'''1 × '''D'''1],

+

|-

+

| (['''B'''2] → ['''B'''1])

+

|-

+

| →

|-

−

| &~~nbsp~~;

+

| (['''B'''2 × '''D'''2] → ['''B'''1 × '''D'''1])

|-

|  

Line 6,522: Line 6,532:

<pre>

−

~~| $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~~

−

| $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>

Jon Awbrey

12,144

edits