match_combine_polynomes will return (n0, n1, c0, c1, r0, e0), thus avoiding the
duplicated arguments. Adjusted the unit tests as well.