test/donotsimp.cloog


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

# Language
c

# Context

# {n>=20}
    1 3
    1    1  -20
0

# Number of statments
2

1
# {i,j | 0<=i<=10 1<=j<=i}

    4 5
    1    1    0    0    -1
    1   -1    0    0    10
    1    0    1    0    -1
    1    1   -1    0     0
0 0 0

1
# {i,j | 0<=i<=10 11<=j<=n}

    4 5
    1    1    0    0    -1
    1   -1    0    0    10
    1    0    1    0   -11
    1    0   -1    1     0
0 0 0

0
# Scattering functions
2

    5 10
    0    1    0    0    0    0    0    0    0    0
    0    0    1    0    0    0   -1    0    0    0
    0    0    0    1    0    0    0    0    0    0
    0    0    0    0    1    0    0   -1    0    0
    0    0    0    0    0    1    0    0    0    0

    5 10
    0    1    0    0    0    0    0    0    0    0
    0    0    1    0    0    0   -1    0    0    0
    0    0    0    1    0    0    0    0    0    0
    0    0    0    0    1    0    0   -1    0    0
    0    0    0    0    0    1    0    0    0    0


0