Expressions that don't array-abstract
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
Enable comment auto-refresher