The routine vertices returns a list of coordinates of vertices of the given polyhedron. It also returns the vertices of the vertex figure of a given polyhedron.

The command with(geom3d,vertices) allows the use of the abbreviated form of this command.

$\mathrm{with}\left(\mathrm{geom3d}\right)\:$

$\mathrm{tetrahedron}\left(t\,\mathrm{point}\left(o\,1\,2\,3\right)\,4\right)$

$t$

$\mathrm{vertices}\left(t\right)$

$\left[\left[\frac{4\sqrt{3}}{3}+1\,\frac{4\sqrt{3}}{3}+2\,\frac{4\sqrt{3}}{3}+3\right]\,\left[\frac{4\sqrt{3}}{3}+1\,-\frac{4\sqrt{3}}{3}+2\,-\frac{4\sqrt{3}}{3}+3\right]\,\left[-\frac{4\sqrt{3}}{3}+1\,\frac{4\sqrt{3}}{3}+2\,-\frac{4\sqrt{3}}{3}+3\right]\,\left[-\frac{4\sqrt{3}}{3}+1\,-\frac{4\sqrt{3}}{3}+2\,\frac{4\sqrt{3}}{3}+3\right]\right]$