4d-polytopes described by Coxeter diagrams and quaternions

4D-polytopes and their dual polytopes can be described as the orbits of the rank-4 Coxeter-Weyl groups. Their symmetries follow from the quaternionic descriptions of the rank-4 Coxeter-Dynkin diagrams. There exists a one to one correspondence between the finite subgroups of quaternions and the rank-4 Coxeter-Weyl groups.