Function fix

scripts/rubi/extract-rules.ts:146–159

(node: Json)

  // coefficient, and only these rules carry the pattern). Fix: f/e^n → f/g^n.
  if (filePath.includes('1.1.3.6 (g x)^m')) {
    const fix = (node: Json): Json => {
      if (Array.isArray(node)) {
        if (
          node[0] === 'Divide' &&
          node[1] === 'f' &&
          Array.isArray(node[2]) &&
          node[2][0] === 'Power' &&
          node[2][1] === 'e_var'
        )
          return ['Divide', 'f', ['Power', 'g', node[2][2]]];
        return node.map(fix);
      }
      return node;
    };
    for (const r of rules) r.rhs = fix(r.rhs);
  }
}