blob: 020d1d24eacd5a6e6f8fe9eb3196e2dc23d12311 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# inverse { [i] -> [i+1] : 1 <= i <= 9 };
{[In_1] -> [In_1-1] : 2 <= In_1 <= 10}
#
# domain { [i] -> [i+1] : 1 <= i <= 9 };
{[i]: 1 <= i <= 9}
#
# range { [i] -> [i+1] : 1 <= i <= 9 };
{[In_1]: 2 <= In_1 <= 10}
#
# { [i] -> [i+1] : 1 <= i <= 9 } compose { [i] -> [i+1] : 1 <= i <= 9 };
{[i] -> [i+2] : 1 <= i <= 8}
#
#
|
