Function mmaFirstTerm

src/compute-engine/rubi/rubi-utils.ts:1132–1143

(ops: readonly Expression[])

  return true;
}

function intCmp(
  args: Json[],
  ctx: Ctx,
  cmp: (a: number, b: number) => boolean
): boolean {
  const u = build(args[0], ctx).evaluate();
  if (!isLiteralInteger(u)) return false;
  const a = realNum(u);
  const b = realNum(build(args[1], ctx));
  return a !== null && b !== null && cmp(a, b);
}

// Rubi PosAux (sign heuristic): numbers by value; symbols positive;
// products multiply signs; sums take the first term; even powers positive.