blob: 1d25c6ee85f605d3faaceddc34467650ef8eb4e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic p(2), n, m;
#
# R := { [ir,jr] : 1 <= ir <= n && 1 <= jr <= m };
#
# W1 := { [iw,jw] : 1 <= iw <= n && 1 <= jw <= m && p(Set) >= 0 };
#
# W2 := { [iw,jw] : 1 <= iw <= n && 1 <= jw <= m && p(Set) < 0 };
#
# Exposed := R intersection complement ( W1 union W2 );
#
# Exposed;
{[In_1,In_2] : FALSE }
#
|
