Also ich fürchte, das musst du "per Hand" einprogrammieren als Konstante.
Eine einfache Lösung wie "Dodekaeder" rein, Koordinaten raus wird's wohl nicht geben. Das wird vermutlich auf große, konstante Arrays im Code hinauslaufen
So groß werden die Arrays nicht, halt beim Dodekaeder 12 Einträge, beim Ikosaeder halt 20, etc.
Und ich würde vom Grundkörper ausgehen, d.h. ohne Rotationen, Verschiebungen oder Skalierungen. Damit dürfte die Lösung meines Erachtens eindeutig bleiben, wenn ich von normierten Vektoren ausgehe.