  In this paper we examine four different models for the realization space of a
polytope: the classical model, the Grassmannian model, the Gale transform
model, and the slack variety. Respectively, they identify realizations of the
polytopes with the matrix whose columns are the coordinates of their vertices,
the column space of said matrix, their Gale transforms, and their slack
matrices. Each model has been used to study realizations of polytopes. In this
paper we establish very explicitly the maps that allow us to move between
models, study their precise relationships, and combine the strengths of
different viewpoints. As an illustration, we combine the compact nature of the
Grassmannian model with the slack variety to obtain a reduced slack model that
allows us to perform slack ideal calculations that were previously out of
computational reach. These calculations allow us to answer the question of
[Criado, Santos. Topological prismatoids and small simplicial spheres of large
diameter. Experimental Mathematics, 1-13, 2019], about the realizability of a
family of prismatoids, in general in the negative by proving the
non-realizability of one of them.
