File: lineality-1-2.in

package info (click to toggle)
isl 0.12.2-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 9,164 kB
  • ctags: 6,976
  • sloc: ansic: 86,111; sh: 11,923; python: 1,907; cpp: 593; makefile: 352; perl: 9
file content (3 lines) | stat: -rw-r--r-- 190 bytes parent folder | download | duplicates (2) 
1
2
3
 
[M] -> { S2[i0, i0] -> [i0, i0, 1] : i0 >= 1 and i0 <= M; S1[i0, i1] -> [i0, i1, 0] : i0 >= 1 and i1 >= 1 and i0 <= M and i1 <= M }
[M] -> {  : M >= 2 }
[M] -> { [i, j, k] -> separate[o0] }