omega/examples/old_test/pufs3


1
2
3
4
5
6
7
8

symbolic n(1);
R := { [i] -> [j] : 1 <= i = j <= 100 && n(i) <= n(j)};
S := { [i] -> [j] : 1 <= i <= j <= 100 && n(i) = n(j)};

R intersection complement S;
inverse R;
inverse S;
inverse S intersection complement inverse R;