$begingroup$ @OrangeDog I would say no. My place all alongside is that a hash purpose need to map to a set-measurement output, nevertheless the enter dimension is irrelevant. We've gotten pretty far off-matter. Your solution has good things in it, just watch out with your formal definition ;-) $endgroup$Yet another form that varies extensively in v