14 lines · plain
1domain: "[n] -> { A[i, j, k] : 0 <= i < n and 0 <= j < n and 0 <= k < n; B[i, j, k] : 0 <= i < n and 0 <= j < n and 0 <= k < n }"2child:3 sequence:4 - filter: "[n] -> { A[i, j, k] }"5 child:6 schedule: "[n] -> [{ A[i, j, k] -> [(i)] }, { A[i, j, k] -> [(j)] }, { A[i, j, k] -> [(k)] }]"7 permutable: 18 coincident: [ 1, 1, 0 ]9 - filter: "[n] -> { B[i, j, k] }"10 child:11 schedule: "[n] -> [{ B[i, j, k] -> [(i)] }, { B[i, j, k] -> [(j)] }, { B[i, j, k] -> [(k)] }]"12 permutable: 113 coincident: [ 1, 1, 0 ]14