7 lines · plain
1# Check that we find a common stride on the first dimension2# even if it is imposed by different inner dimensions3{ A[i,k] -> [i,0,j,k] : 0 <= i,k <= 100 and i = 2 j;4 B[i,k] -> [i,1,k,j] : 0 <= i,k <= 100 and i = 2 j }5{ : }6{ }7