exp_vector_t n = std::min(degree_vector(A, vars), degree_vector(B, vars));
const int nTot = std::accumulate(n.begin(), n.end(), 0);
const cln::cl_I A_max_coeff = to_cl_I(A.max_coefficient());
exp_vector_t n = std::min(degree_vector(A, vars), degree_vector(B, vars));
const int nTot = std::accumulate(n.begin(), n.end(), 0);
const cln::cl_I A_max_coeff = to_cl_I(A.max_coefficient());