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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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←(gL)fgR.
  • 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.
Retrieved from "http://wiki.nars2000.org/index.php?title=Compose&oldid=131"