Intelligent Decomposition Respects Brackets and SUMs


If you are doing an intelligent decomposition, the decomposition never splits up things inside brackets or inside SUMs.

This applies whether you are decomposing the RHS of a Formula, decomposing an expression selected in a Formula, doing an intelligent decomposition of all or of one side of an Equation, or doing an intelligent decomposition of an expression selected in an Equation. [Decompositions in a Formula are always intelligent decompositions, never complete decompositions.]

Example

Consider the following Formula.

Formula (all,c,COM) C3(c) = SUM[i,IND, C4(c,i)*C2(c,i)] + {C3(c)+C5(c)} ;

Suppose firstly that you are intelligently decomposing the right-hand side of this formula. Then the values you will see are those of

SUM[i,IND, C4(c,i)*C2(c,i)]

and

{C3(c)+C5(c)}.

[The decomposition does not go "inside" the SUM or "inside" the curly brackets {}.]

Suppose secondly that you have selected the expression C4(c,i)*C2(c,i) inside the SUM and asked for an intelligent decomposition of this expression. Then, just as when you ask to evaluate that expression, the SUM index becomes an ALL index for the expression and it is as if you were decomposing the expression C4(c,i)*C2(c,i) in a formula with (all,c,COM) and (all,i,IND) quantifiers. The values you will see are those of

C4(c,i)       and         C2(c,i).

Similarly, intelligent decompositions respect (that is, do not decompose further inside) PROD, MAXS, MINS and IF expressions.



URL of this topic: www.copsmodels.com/webhelp/analysege/hc_decomprespect.htm

Link to full GEMPACK Manual

Link to GEMPACK homepage