Function cmpChain

src/compute-engine/rubi/rubi-utils.ts:1043–1063

(
  args: Json[],
  ctx: Ctx,
  cmp: (a: number, b: number) => boolean
)

    ),

  // --- WL structural/numeric builtins used in rule conditions ---

  SumQ: (args, ctx) => {
    const u = build(args[0], ctx);
    return u.operator === 'Add' || u.operator === 'Subtract';
  },
  NonsumQ: (args, ctx) => {
    const u = build(args[0], ctx);
    return u.operator !== 'Add' && u.operator !== 'Subtract';
  },
  // ProductQ[u] := u is a Times expression (IntegrationUtilityFunctions.m).
  ProductQ: (args, ctx) => build(args[0], ctx).operator === 'Multiply',
  // MemberQ[{e1,…,en}, u] := u is structurally one of the list elements.
  // Chapter-3 uses it to test whether a captured head F is an inverse
  // trig/hyperbolic function (ArcSin/ArcCos/ArcSinh/ArcCosh).
  MemberQ: (args, ctx) => {
    const list = args[0];
    if (!Array.isArray(list) || list[0] !== 'List') return false;
    const elem = build(args[1], ctx);
    return (list as Json[]).slice(1).some((e) => build(e, ctx).isSame(elem));
  },
  // IntegralFreeQ[u] := u contains no inert integral node
  // (IntegrationUtilityFunctions.m: FreeQ of Int/Integral/Unintegrable/
  // CannotIntegrate). Gates a Chapter-3 rule on its IntHide result closing.