1*52a25237STobias Grosser# Check that we find a common stride on the first dimension 2*52a25237STobias Grosser# even if it is imposed by different inner dimensions 3*52a25237STobias Grosser{ A[i,k] -> [i,0,j,k] : 0 <= i,k <= 100 and i = 2 j; 4*52a25237STobias Grosser B[i,k] -> [i,1,k,j] : 0 <= i,k <= 100 and i = 2 j } 5*52a25237STobias Grosser{ : } 6*52a25237STobias Grosser{ } 7