Function toTimesPower

src/compute-engine/rubi/normal-form.ts:19–47

(ce: ComputeEngine, e: Expression)

import { isNumber } from '../boxed-expression/type-guards.js';

export function toTimesPower(ce: ComputeEngine, e: Expression): Expression {
  if (e.symbol || !e.ops) return e;
  const ops = e.ops.map((o) => toTimesPower(ce, o));

  switch (e.operator) {
    case 'Negate':
      return mul(ce, [ce.NegativeOne, ...factors(ops[0])]);
    case 'Subtract':
      return ce._fn('Add', [
        ops[0],
        mul(ce, [ce.NegativeOne, ...factors(ops[1])]),
      ]);
    case 'Divide':
      return mul(ce, [...factors(ops[0]), ...invert(ce, ops[1])]);
    case 'Sqrt':
      return pow(ce, ops[0], ce.expr(['Rational', 1, 2] as any));
    case 'Root': {
      const n = ops[1];
      if (isNumber(n) && n.isInteger)
        return pow(ce, ops[0], ce.expr(['Rational', 1, n.re as any] as any));
      break;
    }
    case 'Power':
      return pow(ce, ops[0], ops[1]);
  }

  if (e.operator === 'Multiply') return mul(ce, ops.flatMap(factors));
  return rebuilt(ce, e, ops);
}

function rebuilt(
  ce: ComputeEngine,