blob: a486bdd3ddb048067ae70a344acc81e06673eceb (
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
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Symbolic n,m;
#
#
# sym_example {[i] : 1 <= i <= n};
{[1]: 1 <= n}
#
#
# sym_example {[i] : m <= i <= n};
{[m]: m <= n}
#
#
# sym_example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
{[0]: m <= 0 && 0 <= n}
#
# example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
{[42]: m = 42 && n = 42}
#
# example {[i] : m < i <= n && exists (alpha : i = 2alpha)};
{[44]: m = 42 && n = 44}
#
# example {[i] : m < i < n};
{[43]: m = 42 && n = 44}
#
#
|