Function toExpr

src/compute-engine/rubi/rubi-utils.ts:393–400

(cs: Expression[])

  const deg = ms.reduce((m, [, d]) => Math.max(m, d), 0);
  const coeffs: Expression[] = new Array(deg + 1).fill(ce.Zero);
  for (const [c, d] of ms) coeffs[d] = coeffs[d].add(c);
  return coeffs.map((c) => c.evaluate());
}

/** effective degree after dropping provably-zero leading coefficients */
function trimZeros(coeffs: Expression[]): Expression[] {
  let last = coeffs.length - 1;
  while (last > 0 && zeroQ(coeffs[last])) last--;
  return coeffs.slice(0, last + 1);
}