Decoding permutation arrays with ternary vectors

It is well known that the MacWilliams transform of the weight enumerator of some code having integer coefficients is equivalent to a set of congruences having integer solutions. In this paper, we prove an equivalent condition of Ward’s bound on dimension of divisible codes, which is part of this set of congruences having integer solutions. This new interpretation makes the generalization of Ward’s bound an explicit one.