Linear equations for unordered data vectors in $[D]^kto{}Z^d$ (Logical Methods in Computer Science, 2022)