Compose: Difference between revisions
From NARS2000
Jump to navigationJump to search
Sudleyplace (talk | contribs) No edit summary |
m (moved Composition to Compose: Originally mis-named -- need to distinguish from {dieresiscircle} (Composition)) |
(No difference)
|
Revision as of 16:00, 2 February 2011
In the following descriptions, <apll>f</apll> and <apll>g</apll> represent functions and <apll>a</apll> and <apll>b</apll> represent variables.
- The form <apll>f∘g</apll> may be used both monadically and dyadically.
- Monadic: <apll>Z←f∘gR</apll> is identical to <apll>Z←fgR</apll>.
- Dyadic: <apll>Z←Lf∘gR</apll> is identical to <apll>Z←LfgR</apll>.
- The form <apll>f∘b</apll> may be used monadically only.
- Monadic: <apll>Z←(f∘b) R</apll> is identical to <apll>Z←R f b</apll>.
- Note that parentheses are required around the function to avoid interpreting <apll>b R</apll> as a strand.
- The form <apll>a∘g</apll> may be used monadically only.
- Monadic: <apll>Z←a∘gR</apll> is identical to <apll>Z←a g R</apll>.
- The derived function from the form <apll>a∘b</apll> always signals a <apll>SYNTAX ERROR</apll>.