Function polyDiv

src/compute-engine/rubi/rubi-utils.ts:4452–4456

(args: Json[], ctx: Ctx)

    if (!(isNumber(v) && v.isNumberLiteral)) return false;
    const re = v.re;
    const im = v.im ?? 0;
    return (
      typeof re === 'number' &&
      Number.isFinite(re) &&
      typeof im === 'number' &&
      Number.isFinite(im)
    );
  } catch {