cartesian coordinates for the vertices of a truncated dodecadodecahedron are all the triples of numbers obtained by circular shifts and sign changes from the following points (where formula_1 is the golden ratio):