1: \begin{definition}

2:   Suppose $w$ is an arbitrary weight. We say that {\em MacWilliams'

3:     Equivalence Theorem\/} (or the {\em Extension Theorem\/}) holds

4:   for $w$ on $R$ if for each positive integer $n$, linear code $C$ in

5:   ${}_RR^{n}$ and linear $w$-isometry $\phi : C \to {}_RR^{n}$

6:   there exists a ${\rm Sym}_r(w)$-monomial transformation of $R^{n}$

7:   which extends $\phi$.

8: \end{definition}

9: