omega/examples/old_test/wak5.oc-rt


1
2
3
4
5
6
7
8
9
10
11

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# S1 := {[1,In_2,0,In_4,In_5,In_6,In_7]: 2 <= In_4 <= 1024 && 2 <= In_2 <= 1024};
# 
# S2 := {[1,In_2,0,In_4,In_5,In_6,In_7]: 1 <= In_4 < In_2 <= 1024};
# 
# 
# Hull (S1 union S2);

{[1,In_2,0,In_4,In_5,In_6,In_7]: 1 <= In_4 <= 1024 && 2 <= In_2 <= 1024}

#