| # Scan | |
| # D = { (i, j, k) | 0 <= i < 10, 1 <= j < 20, 2i + 3j = k, i + j + 3 = 3k } | |
| # | |
| # language: C | |
| c | |
| # parameter (none) | |
| 1 2 | |
| 1 1 | |
| 0 | |
| 1 # Number of statements | |
| 1 | |
| 6 5 | |
| # i j k 1 | |
| 1 1 0 0 0 | |
| 1 -1 0 0 10 | |
| 1 0 1 0 -1 | |
| 1 0 -1 0 20 | |
| 0 2 3 -1 0 | |
| 0 1 1 -1 3 | |
| 0 0 0 | |
| 0 | |
| 0 # Scattering functions |