1: \begin{definition}(\cite[Theorem 3.1]{BarnesWall})\label{BWdef}

2: 	$$\BW_{2m} := \langle 2^{\lfloor \frac{2m-r+1}{2} \rfloor } \sum_{v\in \cU} b_v  \mid 

3: 	\cU \in {\mathcal T}_r , r=0,\ldots , 2m  \rangle _{\ZZ }$$ 

4: 	is the Barnes-Wall lattice of dimension $2^{2m}$ 

5: 	and its dual lattice is given as

6: 	$$\BW_{2m}^{\#}  = \langle 2^{\lfloor \frac{2m-r}{2} \rfloor } \sum_{v\in \cU} b_v  \mid 

7: 	\cU \in {\mathcal T}_r , r=0,\ldots , 2m  \rangle _{\ZZ }.$$ 

8: \end{definition}

9: