•For completeness, when A is m´n and B is n´p, the declarations are …
•
•region Lop = [1..m, 1..n];
• Rop = [1..n, 1..p];
• Res = [1..m, 1..p];
•direction right = [ 0,
1];
• below = [ 1, 0];
•var A : [Lop] double;
• B : [Rop] double;
• C : [Res] double;