In case anybody wants them, this file https://dl.dropboxusercontent.com/u/3507527/RegPolytopes.c contains the coordinates of the vertices of all regular polytopes in 3D and 4D in a form ready to use inside C programs. -- Warren D. Smith http://RangeVoting.org <-- add your endorsement (by clicking "endorse" as 1st step)