Function algebraicFnQ

src/compute-engine/rubi/rubi-utils.ts:2160–2181

Rubi AlgebraicFunctionQ — u is an algebraic function of x

(u: Expression, x: string, flag: boolean)

    }
    if (zeroQ(k.sub(n.mul(2)))) {
      const c = c1.add(b4).evaluate();
      if (zeroQ(c)) return null;
      return { kind: 'tri', p: { a: a1.add(a4).evaluate(), b: b1, c, n } };
    }
    return null;
  }
  // tri + tri
  if (u.kind === 'tri' && v.kind === 'tri') {
    if (!zeroQ(u.p.n.sub(v.p.n))) return null;
    const b = u.p.b.add(v.p.b).evaluate();
    const c = u.p.c.add(v.p.c).evaluate();
    if (zeroQ(b) || zeroQ(c)) return null;
    return {
      kind: 'tri',
      p: { a: u.p.a.add(v.p.a).evaluate(), b, c, n: u.p.n },
    };
  }
  return null;
}

type GenBinParts = {
  a: Expression;
  b: Expression;
  n: Expression;
  q: Expression;