Formulating a Schubert problem as the solutions to a system of equations in either Plucker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously gave a prim
al-dual formulation for Schubert problems that involved the same number of variables as equations (a square formulation). Here, we give a different square formulation by lifting incidence conditions which typically involves fewer equations and variables. Our motivation is certification of numerical computation using Smales alpha-theory.
