blob: 345639fa047d32ae6f29b50d291a29e9c76ca106 (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# R := {[x]:x > 1 };
#
# R;
{[x]: 2 <= x}
#
# R2 := subsetof R;
#
# R2;
{[x]: 2 <= x && UNKNOWN}
#
#
# R - R2;
{[x]: 2 <= x && UNKNOWN}
#
# R subset R2;
False
#
# R2 - R;
{[x] : FALSE }
#
# R2 subset R;
True
#
#
# S := {[x]: x > 0};
#
# S - R;
{[1]}
#
# R subset S;
True
#
# S - R2;
{[x]: 2 <= x && UNKNOWN} union
{[1]}
#
# R2 subset S;
True
#
#
# S2 := {[x]: x > -1};
#
# S3 := subsetof S2;
#
# S3 - S;
{[0]: UNKNOWN}
#
# S subset S3;
False
#
|
