Mixing regular convex polytopes

The mixing operation for abstract polytopes gives a natural way to construct a minimal common cover of two polytopes. In this paper, we apply this construction to the regular convex polytopes, determining when the mix is again a polytope, and completely determining the structure of the mix in each case.