# Compose

From NARS2000

Revision as of 01:24, 10 April 2008 by 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...)

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*∘*g*R is identical to Z←*f**g*R. - Dyadic: Z←L
*f*∘*g*R is identical to Z←(*g*L)*f**g*R.

- 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*∘*g*R is identical to Z←*a g*R.

- The derived function from the form
*a*∘*b*always signals a SYNTAX ERROR.