118471Swosch# Example from the manual 218471Swoschdomain: "{ A[i,j] : 0 <= i,j and i + j <= 100 }" 318471Swoschchild: 450476Speter schedule: "[{ A[i,j] -> [floor(i/10)] }, \ 518471Swosch { A[i,j] -> [floor(j/10)] }, \ 618471Swosch { A[i,j] -> [i] }, { A[i,j] -> [j] }]" 73229Spst options: "{ isolate[[] -> [a,b,c,d]] : 0 <= 10a,10b and \ 813572Spst 10a+9+10b+9 <= 100; [isolate[] -> unroll[3]] }" 9