affine RecMM {N|1i,j), {i,j,k | i<=ki,k) @ A * (i,j,k->k+1,j)@A); esac; .