1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
#
# symbolic n;
#
#
# s1:={[t1, 0, 0]:1 <= t1 && 64 * t1 <= n};
#
#
# s2 := {[t1, t2, 0]: 1 <= t1 && 64 * t1 <= n && t2 = t1};
#
#
# s3 := {[t1, 0, t3]: 1 <= t1 && 64 * t1 <= n && t3 = t1};
#
#
# s := (s1 union s2 union s3);
#
#
# s;
{[t1,0,0]: 1 <= t1 && 64t1 <= n} union
{[t1,t1,0]: 1 <= t1 && 64t1 <= n} union
{[t1,0,t1]: 1 <= t1 && 64t1 <= n}
#
# h := hull s;
#
#
# h;
{[t1,t2,t3]: 0 <= t3 && 0 <= t2 && 64t1 <= n && 1 <= t1 && t2+t3 <= t1}
#
#
# h - s;
{[t1,t2,t3]: 1 <= t3 && 1 <= t2 && 64t1 <= n && t2+t3 <= t1} union
{[t1,t2,0]: 1 <= t2 < t1 && 64t1 <= n} union
{[t1,0,t3]: 1 <= t3 < t1 && 64t1 <= n}
#
|
