Function splitMonoFactor

src/compute-engine/rubi/rubi-utils.ts:2032–2056

split u = scale·x^m·rest where scale and m are x-free and rest is the * single non-monomial x-dependent factor (null when u has no such shape)

(
  u: Expression,
  x: string
)

    b: s.mul(t.b).evaluate(),
    c: s.mul(t.c).evaluate(),
    n: t.n,
  });
  switch (u.operator) {
    case 'Power': {
      // w^2 with w a binomial (a ≠ 0) → (a + b·x^n)² trinomial
      if (realNum(ops[1]) !== 2) return null;
      const p = binomialPartsX(ops[0], x);
      if (p === null || p.a.isSame(0) || zeroQ(p.a)) return null;
      return {
        a: p.a.pow(2).evaluate(),
        b: p.a.mul(p.b).mul(2).evaluate(),
        c: p.b.pow(2).evaluate(),
        n: p.n,
      };
    }
    case 'Negate': {
      const t = trinomialPartsX(ops[0], x);
      return t === null ? null : scaleTri(ce.NegativeOne, t);
    }
    case 'Divide': {
      if (ops[1].has(x)) return null;
      const t = trinomialPartsX(ops[0], x);
      return t === null ? null : scaleTri(ce.One.div(ops[1]), t);
    }
    case 'Multiply': {
      let scale = ce.One;
      const dep: Expression[] = [];
      for (const f of ops) {