indices will be incremented and the function ordering will be as it is in the FVII. The index nesting will be il,if(function type),i2. The expanded incidence matrix resulting from these choices is shown in Fig. 3-3. It so happens that the equations fully precedence order for the solution procedure chosen. This example problem illustrates many things described in Chapter 2. Assigning x to f and y to g is an example of an FVIM output set assignment. Since z was not assigned it was an FVIM decision variable. Similarly the IDM's contain index outputs and index decisions. All variables with index ji were decisions for ji equal zero, and those with index j2 were decisions for j2 equal one. The problem decoupled in the variable type y for index i1. This example will be referred to by other sections in this chapter because it illustrates so many valuable concepts. 3.3 Output Sets and Decision Variables The choice of an output set and decision variable set almost entirely defines a solution procedure. This section discusses these choices as applied both to function and variable types and to indices. 3.3.1 Function-Variable Output Sets In the example problem a variable type was assigned to a function type. When this is the case, implementing the solution procedure is. simplified by the fact that each function type only has to be solved for one variable type. This is particularly helpful in computer implemented solution procedures, such as those to be generated by GENIE. For purposes of deriving solution procedures for sets of index equations, the requirement is made that outputs be assigned such that all outputs