Function negFormQ

src/compute-engine/rubi/rubi-utils.ts:1328–1330

(u: Expression)

/** Rt[u, n] = RtAux[TogetherSimplify[u], n] — Rubi's canonical n-th root.
 * RtAux DISTRIBUTES the root over products/quotients and pairs sign flips
 * with negative-form sum factors. This composition is branch-unsound in
 * general; it is exactly Mathematica's principal-branch rendering, which
 * Rubi's rules rely on so that paired complex factors cancel phases (the
 * elliptic branch-phase cluster: e^{iπ/4} errors came from taking the root
 * of the whole quotient instead of the split). */