omega/examples/old_test/p12


1
2
3
4
5
6
7

symbolic n,m;
T := { [i,j] -> [i-1,j] : 1 <= i <= n && 0 <= j <= m } union
     { [i,j] -> [i,j-1] : 0 <= i <= n && 1 <= j <= m };
T;
T+;
Inverse ( (Inverse T)+);
T@;