This is the paper's condition (C2): a polynomial lies in
im(A_u) + cone(σ(ker(A_u))). The later files show that once p admits such
a decomposition relative to u, the SOCP conditions force the residual to
vanish.
Equations
- One or more equations did not get rendered due to their size.