omegalib/examples/old_test/wak7.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):
# R :=  {[k,k+1,k+1]: 1 <= k <= 1022}
# 	union {[k,i,j]: 2 <= k < i <= 1024 && k < j <= 1024};
# 
# 
# Hull R;

{[k,i,j]: k+1, 2 <= j <= 1024 && k < i <= 1024}

# 
#