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
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
#
# R := {[t,s] -> [t+1,s] } union
# {[t,s] -> [t,s] } union
# {[t,s] -> [t,s+1] };
#
#
# R;
{[t,s] -> [t+1,s] } union
{[t,s] -> [t,s] } union
{[t,s] -> [t,s+1] }
#
# R+;
{[t,s] -> [t,s'] : s <= s'} union
{[t,s] -> [t',s'] : t < t' && s <= s'}
#
#
# S := {[t,s] -> [t+1,s] } union {[t,s] -> [t,s+1] };
#
#
# S;
{[t,s] -> [t+1,s] } union
{[t,s] -> [t,s+1] }
#
# S+;
{[t,s] -> [t,s'] : s < s'} union
{[t,s] -> [t',s'] : t < t' && s <= s'}
#
|
