copyright 1997 Bruce A. McCarl and Thomas H. Spreen.

Transcription

1 Appendx I: Usng Summaton Notaton Wth GAMS... AI-1 AI.1 Summaton Mechancs... AI-1 AI.1.1 Sum of an Item.... AI-1 AI.1.2 Multple Sums... AI-2 AI.1.3 Sum of Two Items... AI-2 AI.2 Summaton Notaton Rules... AI-3 AI.2.1 For a Scalar Equaton... AI-3 AI.2.2. For a Famly of Equatons... AI-4 AI.4 Defnng and Usng Varables... AI-7 AI.5 Equatons... AI-8 AI.6 Cautons and Extensons... AI-9 copyrght 1997 Bruce A. McCarl and Thomas H. Spreen.

2 Appendx I: Usng Summaton Notaton Wth GAMS Summaton notaton s dffcult for some students to use and follow. Here we present notes on the mechancs of summaton notaton usage and some rules for proper use. Ths dscusson s cast wthn the GAMS framewor wth presentaton equvalents of common summaton expressons and error messages caused by mproper summaton. All of the GAMS statements used heren are shown n Table 1 and are n fle NOTATION. AI.1 Summaton Mechancs Summaton notaton s a short hand way of expressng sums of algebrac terms nvolvng subscrpted tems. In order to cover the mechancs of summaton notaton t s useful to have a set of subscrpted tems and assocated numercal values. Thus, let us defne some data x 1 = 1 y 11 = 2 y 12 = 3 x 2 = 2 y 21 = 4 y 22 = 1 x 3 = 3 y 31 = 1 y 32 = 4. Now let us defne a varety of summaton expressons. AI.1.1 Sum of an Item. or n GAMS Suppose we wshed to sum all values of x. Ths would be wrtten as 3 x = x1 + x2 + x3 = = 6 =1 SUM1 = SUM(I, X(I)); For short hand purposes f was to be summed over all possble values, we would wrte ths as. x We mght also express a sum as follows whch ndcates all of the are summed over except =3 copyrght 1997 Bruce A. McCarl and Thomas H. Spreen.

3 = 3. _ 3 x In GAMS, ths s more dffcult to express where one has to wrte a condtonal ($) operaton or defne a subset as follows SUM1 = SUM(I$(ORD(I.NE.3)), X(I)); or SET SUBSETI(I) /1, 2/; SUM1 = SUM(SUBSETI, X(SUBSETI(I))); AI.1.2 Multple Sums Sums over two ndces consder all combnatons of those tems y = y 11 + y 12 + y 21 + y 22 + y 31 + y 32 = 15. The equvalent GAMS expresson s SUM2 = SUM((I,J), Y(I,J)); AI.1.3 Sum of Two Items Suppose we wshed to sum over two tems completely where they shared a subscrpt 3 2 ( x + y ) = ( x + y ) = x + y = x 1 + y 11 + y 12 + x 2 + y 21 + y 22 + x 3 + y 31 + y 32 = 21. =1 =1 The equvalent GAMS expresson s as follows SUM3 = SUM(I, X(I)+SUM(J, Y(I, J))); or SUM3 = SUM(I, X(I)) + SUM((I,J), Y(I,J)); On the other hand, f we wshed to sum the results only for the th element and call t A then A = x + y = x + y 1+ y 2 or n GAMS A(I) = X(I) + SUM(J, Y(I,J)); whch would yeld a vector [ 6, 7, 8 ] of results. copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-2

4 Sums over common subscrpts can be collapsed or taen apart or x + z ) = x + z ( SUM4 = SUM(I, X(I) +Z(I)); or SUM4 = SUM(I, X(I)) + SUM(I, Z(I)); AI.2 Summaton Notaton Rules Certan rules apply when wrtng summaton notaton equatons. The applcable rules depend on whether the fnal result s an unsubscrpted scalar or a subscrpted famly of results determned by multple equatons. AI.2.1 For a Scalar Equaton B1= p All subscrpts must be dealt wth n each term. Thus, t s proper to defne the equaton However, the followng equatons are wrong + qsubmn. In the case of the frst equaton, the result would really have the subscrpts,,,m,n, whle the second equaton result would have to have a subscrpt on B3 or a sum over to be proper. Equvalent GAMS commands for the above equaton expressons are EQB1.. B1 =E= SUM((I,J,K),P(I,J,K)) + SUM((M,N), Q(M,N)); EQB2.. B2 =E= P(I,J,K) + Q(M,N); EQB3.. B3 =E= SUM((I,J), P(I,J,K)) + SUM((M,N), Q(M,N)); B2 = p Here, the frst equaton expresson s correct, whle the last two equaton expressons are ncorrect. If you run GAMS wth the above commands, you would encounter GAMS error messages $149 whch says B3 = p m + q mn n + q m n mn. copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-3

5 "UNCONTROLLED SET ENTERED AS CONSTANT" meanng that you have not somehow dealt wth all the subscrpts n the equaton. AI.2.2. For a Famly of Equatons Several rules apply when one s worng wth a famly of equatons. 1. The members of the famly must be specfed wth an ndcaton of the subscrpts whch defne each equaton. Ths s done by ndcatng all the condtons for whch the equatons exst n a "for" condton. For example, suppose we defne an equaton whch sets all C's equal to 2. Ths s done by sayng C = 2 for all or C = 2 for = 1,2,... n. Smlarly, f we wsh to set a 2 dmensonal varable equal to a constant, we would state D = 2 for all and, whle statng that for each row of the matrx E we have the same values F s defned by E1 = F for all and. The equvalent GAMS commands for the above expressons are EQUATIONS EQC(I) EQUATION C EQD(I,J) EQUATION D EQE1(I,J) EQUATION E1; EQC(I).. C(I) =E= 2; EQD(I,J).. D(I,J) =E= 2; EQE1(I,J).. E1(I,J) =E= F(I); On the other hand, t s wrong to state E2 = 2 wthout condtons on and. The equvalent GAMS commands for the above ncorrect expressons are EQUATION EQE2 EQUATION E2; EQE2.. E2(I,J) =E= 2; Here you would get error message $149 whch says "UNCONTROLLED SET copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-4

6 ENTERED AS CONSTANT." 2. When wrtng an equaton wth a for statement, all subscrpts whch are not n the for p = G1 for all statement must be summed over. Consequently, t s proper to wrte but mproper to wrte p = H1 for all and p p = G 2 = H 2 for all for all. The equvalent GAMS commands for the above equatons are EQUATIONS EQG1(I) EQUATION G1 EQH1(I,J) EQUATION H1 EQG2(I) EQUATION G2 EQH2(I) EQUATION H2; EQG1(I).. G1(I) =E= SUM((J,K), P(I,J,K)); EQH1(I,J).. H1(I,J) =E= SUM(K, P(I,J,K)); EQG2(I).. G2(I) =E= P(I,J,K); EQH2(I).. H2(I) =E= SUM(K, P(I,J,K)); n whch the frst two equatons are correct, whle the last two equatons are wrong and error messages $149 "UNCONTROLLED SET ENTERED AS CONSTANT" would agan be realzed. 3. In any term of an equaton, the result after executng the mathematcal operatons n that term must be of a dmenson less than or equal to the famly defnton n the for statement. For example, t s proper to wrte copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-5

7 r m + s m p = N m = L1 for all for all and m but wrong to wrte p = L2 for all. Thus, for the followng expressons, the frst two equatons are approprate but the last equaton would gve you error message $149 "UNCONTROLLED SET ENTERED AS CONSTANT." EQUATION EQLI(I)... LI(I) =E= SUM((J,K), P(IJK)); EQN(I,M)... N(I,M) =E= SUM((J,K), R(I,J,K,M)) + SUM (J,S(I,J,M)); EQL2(I)... L2 =E= P(I,J,K); 4. When the dmenson s less than the famly defnton ths mples the same term appears n multple equatons. For example, n the equaton 2 + p + s m = O m for all and m, the 2 term appears n every equaton and the sum nvolvng p s common when m vares. Equvalent GAMS commands are as follows EQUATION EQO(I,M) EQUATION O; EQO(I,M) SUM((J,K), P(I,J,K)) + SUM(J, S(I,J,M)) =E= O(I,M); 5. In an equaton you can never sum over the parameter that determnes the famly of equatons. It s certanly wrong to wrte p = W for all. Or, equvalently, the followng expressons are wrong and wll result n error copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-6

8 message $125 whch says "SET IS UNDER CONTROL ALREADY." EQW(I)... W(I) =E= SUM(I,J,K), P(I,J,K)); AI.3 Defnng Subscrpts In settng up a set of equatons and varables use the followng prncples. Defne a subscrpt for each physcal phenomena set whch has multple members,.e., Let denote producton processes of whch there are I denote locatons of whch there are J denote products of whch there are K m denote sales locatons of whch there are M. Equvalent GAMS commands are SET I /1*20/ J /1*30/ K /1*5/ M /CHICAGO, BOSTON/; Defne dfferent subscrpts when you are ether consderng subsets of the subscrpt set or dfferent physcal phenomena. AI.4 Defnng and Usng Varables 1. Defne a unque symbol wth a subscrpt for each manpulatable tem. For example: p = producton usng process at locaton whle producng good. Or, equvalently, PARAMETER P(I,J,K) or PARAMETER PRODUCTION(PROCESS, LOCATION, GOOD) Here, for documentaton purposes, the second expresson s preferred. copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-7

9 2. Mae sure that varable has the same subscrpt n each place t occurs. Thus t s proper to wrte Max t t = 3 for all but wrong to wrte Max t t = 3 for all t 0. The second model would cause error message $148 ndcatng "DIMENSION DIFFERENT." 3. The authors feel t s a bad practce to defne dfferent tems wth the same symbol but varyng subscrpts. We thn you should never use the same symbol for two dfferent tems as follows u = amount of tres transported from to and u = amount of chcens transported from to. GAMS would not permt ths, gvng error $150 "Symbolc Equatons Redefned." AI.5 Equatons Modelers should carefully dentfy the condtons under whch each equaton exsts and use subscrpts to dentfy those condtons. We do not thn modelers should try to overly compact the famles of equatons. For example, t s OK to defne copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-8

10 a x b for all, where a s use of water by perod and labor by perod, where denotes water perods and labor perods and b smultaneously contans water and labor avalablty by perod. But we fnd t s better to defne d x e f x h where denotes perod, d denotes water use and e water avalablty, f denotes labor use and h labor avalablty. AI.6 Cautons and Extensons 1. Be careful when you sum over terms whch do not contan the subscrpt you are summng over. Ths s equvalent to multplyng a term by the number of tems n the sum. N 1 = x = Nx 3 =1 X2 = 3(2) = 6 Or, n GAMS SUM5A = SUM(J, X("2")); 2. Be careful when you have a term n a famly of equatons whch s of a lesser dmenson than the famly, ths term wll occur n each equaton. For example, the expresson x = z for = 1,2,3 copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-9

11 mples that smultaneously x = z 1 x = z 2 x = z The same rules as outlned above apply to product cases 3 1 = x = x 1 *x 2 *x 3. Or, equvalently, PRODUCTX = PROD(I, X(I)); 4. The followng relatonshps also hold for summaton a. K x = K x n b. KP = K P = K n P =1 n =1 c. v + y ) = v + y ( d. x + y ) = n x + y when =1,2,... n ( copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-10

12 Table 1. Sample GAMS Commands for Summaton Notaton Expressons 1 ************************************************* 2 ** THIS FILE CONTAINS GAMS EXAMPLES IN SUPPORT ** 3 ** OF THE NOTES USING THE SUMMATION NOTATION ** 4 ************************************************* 5 6 SETS 7 I /1*3/ 8 J /1*2/ 9 K /1*2/ 10 M /1*2/ 11 N /1*3/ PARAMETERS X(I) /1 1,2 2,3 3/ 16 Z(I) /1 2,2 4,3 6/ TABLE Y(I,J) ; TABLE V(I,J) ; TABLE P(I, J, K) ; TABLE Q(M, N) ; *************************** 46 ** AI.1.1 SUM OF AN ITEM ** 47 *************************** PARAMETER 50 SUM1 SUM OF AN ITEM; 51 SUM1 = SUM(I, X(I)); 52 DISPLAY SUM1; ************************** 55 ** AI.1.2 MULTIPLE SUMS ** 56 ************************** PARAMETER 59 SUM2 MULTIPLE SUMS; 60 SUM2 = SUM((I,J), Y(I,J)); 61 DISPLAY SUM2; copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-11

13 Table 1. Sample GAMS Commands for Summaton Notaton Expressons (contnued) ***************************** 64 ** AI.1.3 SUM OF TWO ITEMS ** 65 ***************************** PARAMETERS 68 SUM3A SUM OF TWO ITEMS-1 69 SUM3B SUM OF TWO ITEMS-1 70 A(I) SUM OF TWO ITEMS-2 71 SUM4A SUM OF TWO ITEMS-3 72 SUM4B SUM OF TWO ITEMS-3; 73 SUM3A = SUM(I, X(I)+SUM(J, Y(I, J))); 74 SUM3B = SUM(I, X(I)) + SUM ((I,J), Y(I,J)); 75 A(I) = X(I) + SUM(J, Y(I,J)); 76 SUM4A = SUM(I, X(I)+Z(I)); 77 SUM4B = SUM(I, X(I)) + SUM(I, Z(I)); 78 DISPLAY SUM3A, SUM3B, A, SUM4A, SUM4B; ********************************** 81 ** AI.2.1 FOR A SCALER EQUATION ** 82 ********************************** PARAMETERS 85 B1 SUM FOR A SCALER EQUATION-1; 86 B1 = SUM((I,J,K), P(I,J,K)) + SUM((M,N), Q(M,N)); 87 DISPLAY B1; * $ONTEXT 90 * THE FOLLOWING SUMMATION NOTATIONS ARE INCORRECT 91 * IF YOU TURN THESE COMMANDS ON, YOU WILL ENCOUNTER 92 * ERROR MESSAGES 93 * PARAMETERS 94 * B2 SUM FOR A SCALER EQUATION-2 95 * B3 SUM FOR A SCALER EQUATION-3; 96 * B2 = P(I,J,K) + Q(M,N); 97 * B3 = SUM((I,J), P(I,J,K)) + SUM((M,N), Q(M,N)); 98 * DISPLAY B2, B3; 99 * $OFFTEXT *************************************** 102 ** A.I.2.2 FOR A FAMILY OF EQUATIONS ** 103 *************************************** VARIABLES C(I), D(I,J), E1(I,J), F(J); 106 EQUATIONS 107 EQC(I) EQUATION C 108 EQD(I,J) EQUATION D 109 EQE1(I,J) EQUATION E1; 110 EQC(I).. C(I) =E= 2; 111 EQD(I,J).. D(I,J) =E= 2; 112 EQE1(I,J).. E1(I,J) =E= F(J); * $ONTEXT 115 * THE FOLLOWING EXPRESSION IS INCORRECT 116 * ERROR MESSAGES WILL BE ENCOUNTERED copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-12

14 117 * VARIABLES E2(I,J); Table 1. Sample GAMS Commands for Summaton Notaton Expressons (contnued) 118 * EQUATION 119 * EQE2 EQUATION E2; 120 * EQE2.. E2(I,J) =E= 2; 121 * $OFFTEXT VARIABLES G1(I), H1(I,J); 124 EQUATIONS 125 EQG1(I) EQUATION G1 126 EQH1(I,J) EQUATION H1; 127 EQG1(I).. G1(I) =E= SUM((J,K), P(I,J,K)); 128 EQH1(I,J).. H1(I,J) =E= SUM(K, P(I,J,K)); * $ONTEXT 131 * THE FOLLOWING EXPRESSIONS ARE INCORRECT 132 * ERROR MESSAGES WILL BE ENCOUNTERED 133 * VARIABLES G2(I), H2(I); 134 * EQUATIONS 135 * EQG2(I) EQUATION G2 136 * EQH2(I) EQUATION H2; 137 * EQG2(I).. G2(I) =E= P(I,J,K); 138 * EQH2(I).. H2(I) =E= SUM(K, P(I,J,K)); 139 * $OFFTEXT VARIABLES L1(I), U(I,M), R(I,J,K,M), S(I,J,M); 142 EQUATIONS 143 EQL1(I) EQUATION L1 144 EQN(I,M) EQUATION N; 145 EQL1(I).. L1(I) =E= SUM((J,K), P(I,J,K)); 146 EQN(I,M).. U(I,M) =E= SUM((J,K),R(I,J,K,M)) + SUM(J, S(I,J,M)); * $ONTEXT 149 * THE FOLLOWING EXPRESSIONS ARE INCORRECT 150 * ERROR MESSAGES WILL BE ENCOUNTERED 151 * VARIABLES L2; 152 * EQUATIONS 153 * EQL2(I) EQUATION L2; 154 * EQL2(I).. L2 =E= P(I,J,K); 155 * OFFTEXT VARIABLE O(I,M); 158 EQUATION 159 EQO(I,M) EQUATION O; 160 EQO(I,M) SUM((J,K), P(I,J,K)) + SUM(J, S(I,J,M)) =E= O(I,M); * $ONTEXT 164 * THE FOLLOWING EXPRESSION IS INCORRECT 165 * GAMS ERROR MESSAGES WILL BE ENCOUNTERED 166 * VARIABLE W(I); 167 * EQUATION 168 * EQW(I) EQUATION W; 169 * EQW(I).. W(I) =E= SUM((I,J,K), P(I,J,K)); 170 * $OFFTEXT 171 copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-13

15 Table 1. Sample GAMS Commands for Summaton Notaton Expressons (contnued) 172 *************************************** 173 ** AI.4 DEFINING AND USING VARIABLES ** 174 *************************************** VARIABLES 177 OBJ1 OBJECTIVE FUNCTION VALUE 178 T(I,J,K) DECISION VARIABLE; 179 EQUATIONS 180 OBJFUNC1 OBJECTIVE FUNCTION 181 CONST(K) CONSTRAINT; 182 OBJFUNC1.. OBJ1 =E= SUM((I,J,K), T(I,J,K)); 183 CONST(K).. SUM((I,J), T(I,J,K)) =E= 3; 184 MODEL EXAMPLE1 /ALL/; 185 SOLVE EXAMPLE1 USING LP MAXIMIZING OBJ1; 186 DISPLAY T.L; * $ONTEXT 189 * THE FOLLOWING COMMANDS ARE INCORRECT 190 * THEY WILL RESULT IN ERROR MESSAGES 191 * VARIABLES 192 * OBJ2 OBJECTIVE FUNCTION VALUE 193 * TT(I,J,K) DECISION VARAIBLE; 194 * POSITIVE VARIABLE TT; 195 * EQUATIONS 196 * OBJFUNC2 OBJECTIVE FUNCTION 197 * CONSTT(K) CONSTRAINT; 198 * OBJFUNC2.. OBJ2 =E= SUM((I,J), TT(I,J)); 199 * CONSTT(K).. SUM((I,J), TT(I,J,K)) =E= 3; 200 * MODEL EXAMPLE2 /ALL/; 201 * SOLVE EXAMPLE2 USING LP MAXIMIZING OBJ2; 202 * DISPLAY TT.L; 203 * $OFFTEXT ********************************** 206 ** AI.6 CAUTIONS AND EXTENSIONS ** 207 ********************************** PARAMETER 210 SUM5A CAUTIONS AND EXTENSIONS-1; 211 SUM5A = SUM(J, X("2")); 212 DISPLAY SUM5A; PARAMETER 215 PRODUCT6 CAUTIONS AND EXTENSIONS-2; 216 PRODUCT6 = PROD(I, X(I)); 217 DISPLAY PRODUCT6; PARAMETERS 220 SUM7A CAUTIONS AND EXTENSIONS SUM7B CAUTIONS AND EXTENSIONS SUM8A CAUTIONS AND EXTENSIONS SUM8B CAUTIONS AND EXTENSIONS SUM8C CAUTIONS AND EXTENSIONS SUM9A CAUTIONS AND EXTENSIONS-5 copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-14

16 226 SUM9B CAUTIONS AND EXTENSIONS-5 Table 1. Sample GAMS Commands for Summaton Notaton Expressons (contnued) 227 SUM10A CAUTIONS AND EXTENSIONS SUM10B CAUTIONS AND EXTENSIONS-6; 229 SUM7A = SUM(I, 5*X(I)); 230 SUM7B = 5*SUM(I, X(I)); 231 SUM8A = SUM(I, 5*10); 232 SUM8B = 5*SUM(I, 10); 233 SUM8C = 5*3*10; 234 SUM9A = SUM((I,J), V(I,J)+Y(I,J)); 235 SUM9B = SUM((I,J), V(I,J)) + SUM((I,J), Y(I,J)); 236 SUM10A = SUM((I,J), X(I)+Y(I,J)); 237 SUM10B = 2*SUM(I, X(I)) + SUM((I,J), Y(I,J)); 238 DISPLAY SUM7A, SUM7B, SUM8A, SUM8B, SUM8C, 239 SUM9A, SUM9B, SUM10A, SUM10B; copyrght 1997 Bruce A. McCarl and Thomas H. Spreen. AI-15