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: 1 8 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: 1 13 coincident: [ 1, 1, 0 ] 14