Difference between revisions of "Compose"

From NARS2000
Jump to navigationJump to search
m (moved Composition to Compose: Originally mis-named -- need to distinguish from {dieresiscircle} (Composition))
(No difference)

Revision as of 20:00, 2 February 2011

In the following descriptions, f and g represent functions and a and b represent variables.

  • The form fg may be used both monadically and dyadically.
Monadic: Z←fgR is identical to Z←fgR.
Dyadic: Z←LfgR is identical to Z←LfgR.
  • The form f∘b may be used monadically only.
Monadic: Z←(fb) 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 ag may be used monadically only.
Monadic: Z←agR is identical to Z←a g R.
  • The derived function from the form ab always signals a SYNTAX ERROR.