Given a finite field extension $L$ of $\mathbb{Q}$ of dimension $n$, there is a natural way to embed it into $\mathbb{R}^n$ such that the image of its ring of integers $\mathcal{O}\_L$ is a lattice. If $L=\mathbb{Q}[\zeta\_p]$ where $\zeta\_p$ is a primitive $p$-th root of unity, and $\sigma$ is the generator for the Galois group, this embedding is defined by 
$$\alpha \mapsto (\alpha,\sigma(\alpha),...,\sigma^{\frac{p-3}{2}}(\alpha))\in \mathbb{C}^{\frac{p-1}{2}}\cong \mathbb{R}^{p-1}.$$
The ring of integers in this case is just $\mathcal{O}\_L=\mathbb{Z}[\zeta\_p]$.


I would like to know what is the covering radius for such lattices, and in particular for the case $p=5$. For $p=3$ the lattice is just the tessellation of the plane using equilateral triangles, and the covering radius is just the distance from the point in the middle of the triangle to one of its vertices. In the case of $p=5$ it becomes much more difficult since the lattice is 4 dimensional, and already I do not know the covering radius of it.



covering radius of a lattice from cyclotomic extension
You can use the following Magma code on the [online calculator](http://magma.maths.usyd.edu.au/calc/) :



```
for p in [3,5,7] do
    G:=GramMatrix(Lattice(MaximalOrder(CyclotomicField(p))));
    K:=ZeroMatrix(Integers(),p-1,p-1);
    for i in [1..p-1] do
        for j in [1..p-1] do
            K[i,j]:=Round(G[i,j]);
        end for;
    end for;

    CoveringRadius(LatticeWithGram(K));
end for;

```

What you'll get is 



```
    2/3
    2
    4

```

i.e. the squared covering radii.


