blob: 4f1826eabe23c77e2c3ffc4c3b4e1e467c3700ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n, f(1);
#
#
# R0 := {[x] : 1 <= x <= n};
#
# R1 := {[x] : 1 <= x <= n && f(x) >= 0};
#
# maximize R0;
{[n]: 1 <= n}
#
# maximize R1;
{[x]: 1 <= x < n && 0 <= f(x) && UNKNOWN} union
{[x]: n = x && 0 <= f(x) && 1 <= x}
#
# R1 intersection maximize R0;
{[x]: n = x && 1 <= x && 0 <= f(x)}
#
|
