topic Re: Constraints verification in Mathematical Optimization, Discrete-Event Simulation, and OR

Constraints verification

sarathgk — Mon, 21 Oct 2019 13:07:19 GMT

Hi,

I have the following code in the optmodel:

for {i in rxid} do;
if calculation[i] = 1 and dollars[i] =1 > current_copay[i] +5 then do;
fix copay1_lhs[i]= n_ingred_cost[i] + n_disp_fee_final[i] ;
fix copay1_rhs[i]=(current_copay[i] +5) - bill_tax[i];
end;
end;
con c28{i in rxid}:copay1_lhs[i] <= copay1_rhs[i];

when i expand it, i see the results below

Constraint c28[674523592]: copay1_lhs[674523592] - copay1_rhs[674523592] <= 0
Constraint c28[674563238]: copay1_lhs[674563238] - copay1_rhs[674563238] <= 0
Constraint c28[674563792]: copay1_lhs[674563792] - copay1_rhs[674563792] <= 0

is it right to pass the variable in the constraint function; please help

thanks in advance

Re: Constraints verification

RobPratt — Tue, 22 Oct 2019 03:26:45 GMT

I think you want the following:

   con c28{i in rxid: calculation[i] = 1 and dollars[i] = 1 > current_copay[i] + 5}:
      n_ingred_cost[i] + n_disp_fee_final[i] <= (current_copay[i] + 5) - bill_tax[i];

Re: Constraints verification

sarathgk — Tue, 22 Oct 2019 09:35:20 GMT

ya exactly, i tried your code ,but could not see anything in the expand results. will the constraints be applied there?

Re: Constraints verification

RobPratt — Thu, 24 Oct 2019 22:15:18 GMT

If the logical conditions after the colon operator are never satisfied, then the index set is empty and EXPAND will not display anything. This part of the condition is suspicious:

dollars[i] = 1 > current_copay[i] + 5

What is the intent here?