[ufftljno] Deriving polyhedra coordinates

As a demonstration of a hypothetical computer algebra system, derive exact expressions for the coordinates of regular and semi-regular polyhedra and polytopes from very basic first principles.