Comment by sgdpk

Does this handle elimination of variables in a polynomial system (using an eliminating order for Groebner basis)?