Function divideForm

src/compute-engine/boxed-expression/canonical.ts:341–350

* Apply the 'Divide' form recursively. For `Divide` expressions, operands * are first passed through `powerForm` before being canonicalized via * `canonicalDivide`. This is because division canonicalization benefits from * having power expressions already normalized (e.g., `a / b^{-1}` simplifies

(expr: Expression)

    if (!firstOpShadow?.has(symbolNameOf(op1)) && isImaginaryUnit(op1))
      return ce.number(ce.complex(0, -1));
  }

  // Re-box only if some transformation has applied
  return ops.every((op, index) => op === expr.ops![index])
    ? expr
    : ce._fn(name, ops, { canonical: false });
}

/**
 * Apply the 'Multiply' form recursively. Each sub-expression is visited
 * and any `Multiply` or `Negate` at the current level is canonicalized.
 *
 * Operands are passed directly to `canonicalMultiply` without calling