Method candidatesFor

src/compute-engine/rubi/driver.ts:168–177

(operator: string)

// `(√(x+1)+√(1−x))⁻²`). Lever A iteratively substitutes `u = (a+b·x)^(1/k)` at
// the innermost linear radical (keeping the produced rational's denominator
// FACTORED for the bundled partial-fraction rules, the R26B lesson); Lever B
// conjugate-rationalizes the sum-of-two-radicals power. Fail-closed with a
// domain-aware D-check. A/B measures its Bondarenko effect; structurally inert
// off-family (the tight `hasNestedRadicalCandidate` pre-filter).
const NO_R31 = process.env.RUBI_NO_R31 !== undefined;
// RUBI_NO_R32: disable the R32 Euler-substitution lever ("Lever C") for
// √(quadratic)-nested radicals (a `√B` whose base contains a `√(a·x²+b·x+c)`,
// `√(x+√(x²+1))`, Bondarenko #9). Lever C substitutes `t = √a·x + √Q` (Euler I,
// a>0), rationalizing `√Q` and collapsing the outer radical to a √-of-linear the
// existing Lever A then removes; it runs SECOND (after Lever A) in each iteration
// of the nested-radical fallback loop. Under `RUBI_NO_R32=1` the pre-filter also
// stops admitting the Euler-nested shape (clean A/B); structurally inert
// off-family. A/B measures its Bondarenko effect.