blob: 84a8b93644d9bafa8d966a676e1eb3af74f041d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n(1),m;
#
# {[i] : n(i) >= 0} union {[i] : n(i) <=0};
{[i]: 0 <= n(i)} union
{[i]: n(i) <= 0}
#
#
# {[i] : n(i) >= 1 && 1 <= i <= m}
# union {[i] : n(i) <1 && 1 <= i <= m};
{[i]: 1 <= i <= m && 1 <= n(i)} union
{[i]: 1 <= i <= m && n(i) <= 0}
#
#
|
