optimizations to multidegree(/poincare) and to factorization of polynomials