blob: 55f851c6eb06c2d7b285ec5985367110f5f1c7ea (
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
25
26
27
28
29
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n(1);
#
# R := { [i] -> [j] : 1 <= i = j <= 100 && n(i) <= n(j)};
#
# S := { [i] -> [j] : 1 <= i <= j <= 100 && n(i) = n(j)};
#
#
# R intersection complement S;
{[i] -> [j] : FALSE }
#
# inverse R;
{[j] -> [j] : 1 <= j <= 100}
#
# inverse S;
{[j] -> [j] : 1 <= j <= 100} union
{[j] -> [i] : n(j) = n(i) && 1 <= i < j <= 100}
#
# inverse S intersection complement inverse R;
{[j] -> [i] : n(j) = n(i) && 1 <= i < j <= 100}
#
|
