1: \begin{abstract}

2: We obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in $\IQ$-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders $\calO$ in $\IQ$-division rings and we prove a Minkowski--Hlawka type result for such lifts. Exploiting the additional symmetries under finite subgroups of units in $\calO$, we show this leads to effective constructions of lattices approaching the best known lower bounds on the packing density $\Delta_n$ in a variety of new dimensions $n$. This unifies and extends a number of previous constructions.  

3: \end{abstract}

4: