Expressions that don't array-abstract

Revision as of 03:23, 13 October 2009 by Lchrisman (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The general principle of array-abstraction can be expressed as follows. Suppose f(x) denotes any function, expression, or sub-model that computes a result from input(s) x, and which does not operate over the index I. Then for any input x (which may be array-valued, and may contain the index I), and any element n of I, the following holds:

f(x[I=n]) = f(x)[I=n]
Comments


You are not allowed to post comments.