blob: b71d651f290232cd06592f9e39fee9b955da22c2 (
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
30
31
32
33
34
35
|
# 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;
{[i] -> [i] : 1 <= i <= 100}
#
# S;
{[i] -> [i] : 1 <= i <= 100} union
{[i] -> [j] : n(j) = n(i) && 1 <= i < j <= 100}
#
# R intersection S;
{[i] -> [i] : 1 <= i <= 100}
#
# R union S;
{[i] -> [j] : n(j) = n(i) && 1 <= i < j <= 100} union
{[i] -> [i] : 1 <= i <= 100}
#
# R intersection complement S;
{[i] -> [j] : FALSE }
#
|
