# Omega Calculator [v1.1, Oct 96]:
# #
# # These are the examples from the documentation for the
# # C++ interface to the Omega Library.
# #
# 
# symbolic n, m, F(1);
# 
# 
# S1 := { [t] : 1 <= t <= n };
# 
# S2 := { [x] : (0 <= x <= 100 and
#                exists (y : 2n <= y <= x and exists (z : y = 2*z+1)))
#               or x = 17 };
# 
# R := { [i,j] -> [i',j'] : 1 <= i <= i' <= n and not (F(In) = F(Out))
#                           and 1 <= j, j' <= m };
# 
# 
# S1;

{[t]: 1 <= t <= n}

# 
# S2;

{[x]: 0, 2n+1 <= x <= 100} union
 {[x]: x = 17}

# 
# R;

{[i,j] -> [i',j'] : 1 <= i < i' <= n && 1 <= j <= m && 1 <= j' <= m && F(i) < F(i')} union
 {[i,j] -> [i',j'] : 1 <= i < i' <= n && 1 <= j <= m && 1 <= j' <= m && F(i') < F(i)}

#