Compose: Difference between revisions
From NARS2000
Jump to navigationJump to search
Sudleyplace (talk | contribs) (New page: In the following descriptions, <apll><i>f</i></apll> and <apll><i>g</i></apll> represent functions and <apll><i>a</i></apll> and <apll><i>b</i></apll> represent variables. * The form <apl...) |
Sudleyplace (talk | contribs) No edit summary |
||
| Line 5: | Line 5: | ||
:Monadic: <apll>Z←<i>f</i>∘<i>g</i>R</apll> is identical to <apll>Z←<i>f</i><i>g</i>R</apll>. | :Monadic: <apll>Z←<i>f</i>∘<i>g</i>R</apll> is identical to <apll>Z←<i>f</i><i>g</i>R</apll>. | ||
: | : | ||
:Dyadic: <apll>Z←L<i>f</i>∘<i>g</i>R</apll> is identical to <apll> | :Dyadic: <apll>Z←L<i>f</i>∘<i>g</i>R</apll> is identical to <apll>Z←L<i>f</i><i>g</i>R</apll>. | ||
* The form <apll><i>f</i>∘b</apll> may be used monadically only. | * The form <apll><i>f</i>∘b</apll> may be used monadically only. | ||
Revision as of 12:30, 15 December 2008
In the following descriptions, f and g represent functions and a and b represent variables.
- The form f∘g may be used both monadically and dyadically.
- Monadic: Z←f∘gR is identical to Z←fgR.
- Dyadic: Z←Lf∘gR is identical to Z←LfgR.
- The form f∘b may be used monadically only.
- Monadic: Z←(f∘b) R is identical to Z←R f b.
- Note that parentheses are required around the function to avoid interpreting b R as a strand.
- The form a∘g may be used monadically only.
- Monadic: Z←a∘gR is identical to Z←a g R.
- The derived function from the form a∘b always signals a SYNTAX ERROR.
