This makes sure - GEN MAP dim=2 lvl=4 (d0, d1) -> (d0 floordiv 2, d1 floordiv 2, d0 mod 2, d1 mod 2) -- (d0, d1, d2, d3) -> (d0 * 2 + d2, d1 * 2 + d3) is indeed encoded as MAP-REF (dim=2, lvl=4) isperm=0 d2l = [ d0/2 d1/2 d0%2 d1%2 ] ld2 = [ l2+2*l0 l3+2*l1 ]