Function containsOperator

scripts/rubi/benchmark.ts:125–129

(expr: BoxedExpression, op: string)

  if (!e.ops) return 1;
  return 1 + e.ops.reduce((s, op) => s + leafCount(op), 0);
}

function containsOperator(expr: BoxedExpression, op: string): boolean {
  if (expr.operator === op) return true;
  if (expr.ops) return expr.ops.some((x) => containsOperator(x, op));
  return false;
}