blob: 4c1f7171480638aa8e3e7ee9a3c06f528c11cd42 (
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
|
# language: C
c
# parameter {n d | n >= 0 d >= 0}
2 4
# n d 1
1 1 0 0
1 0 1 0
1
n d
2 # Number of statements:
1
# {i, j | n<=i<=2*n n<=j<=2*n}
4 6
# i j n d 1
1 1 0 -1 0 0
1 -1 0 2 0 0
1 0 1 -1 0 0
1 0 -1 2 0 0
0 0 0
1
# {i, j | n+d<=i<=2*n+d n+d<=j<=2*n+d}
4 6
# i j n d 1
1 1 0 -1 -1 0
1 -1 0 2 1 0
1 0 1 -1 -1 0
1 0 -1 2 1 0
0 0 0
0
0 # Scattering functions
|
