[Help-glpk] Re: Switching Indexes within an expression (Inline)

[Thilo Bohr]

xypron schrieb:
> Hello Thilo,
> 
> 
> Thilo Bohr wrote:
>> Given are the following Parameter:
>>
>> param x {b in B, a in A, c in C};
>> param y {b in B, a in A, c in C};
>> param z {b in B, a in A, c in C} :
>>    (x[b, a, c] + y[b, a, c]);
>> param result {a in A, b in B, c in C} : z[a, b, c];
>>
>> As you can see, the result has the Indexes a and b switched.
>>
>> Is there a construct that allows me define the result Parameter without 
>> the need of the z Parameter?
>>
>> I.e. is it possible to switch the indexes a und b "inline" (i.e. within 
>> the expression)?
>>
>> The following does not work:
>>
>> param result {a in A, b in B, c in C} :
>>    (x[b, a, c] + y[b, a, c])[a, b, c];
>>
> 
> Your statements concerning z are only valid, if A = B.
> For the correct syntax without z see r2 in example below.
> For a correct transposition look at r3.

[...]


Thank you for your detailed answer, Xypron.

The solution does not yet exactly meet my requirements. I will try to describe
these more precisely.

What I am aiming for is a way to reassign the indexes of an expression that is
part of a given parameter definition that I can not modify as whole but just the
expression within the definition.

For example, if the following parameter definition is given:

param result {a1 in A, a2 in A} :
    v[a1, a2] * (x[a2, a1] + y[a2, a1]);

I only am able to replace the expression

(x[a2, a1] + y[a1, a2])

with something (that could look like "(x[a2, a1] + y[a1, a2])[a1,a2]").

Particularly it is not possible to add another parameter definition (which could
be referenced instead of the expression) before this parameter definition. 
(The reason for this constraint is the process that generates the parameter
definitions of my model.)

So this replacement I am looking for could by called an amalgam of an inline
parameter definition and a parameter reference.


Do you - does anybody - see a solution to this requirement?


Kind regards,
Thilo