References polybori::groebner::PolynomialSugar::eliminationLength(), and polybori::groebner::PolynomialSugar::getSugar().