< Maps indices in A to indices in Alow
< Maps indices in A to indices in Aupp
< Maps indices in Alow to indices in A
< active rows of A
< Maps indices in Aupp to indices in A
< dual residual at polished solution
< Ared = vstack[Alow, Aupp] +////< number of lower-active row
< number of upper-active rows
< objective value at polished solution
< primal residual at polished solution
< optimal x-solution obtained by polish
< optimal y-solution obtained by polish
< optimal z-solution obtained by polish
Polish structure