¿Por qué (Full)Simplify devuelve términos con $0^n$ ¿coeficientes?

Question

Cuando uso Simplify[] o FullSimplify[] especificando dominios reales, obtengo términos con $0^n$ como coeficiente. ¿No es siempre cero, y por lo tanto ser simplificado a cabo? A continuación se muestra un ejemplo de entrada/salida, con las expresiones truncadas/reemplazadas ya que son extremadamente largas.

Entrada:
Assuming[Reals && c > 5 , FullSimplify[expression]]
Salida: $$ \int_0^1 i x... +0^{-1+c} \text{Hypergeometric2F1Regularized}\left[\frac{-1+c}{c},1-c i,2-\frac{1}{c},0^c\right]\ F'[x] \, dx $$

Nota, he añadido el supuesto de que $c >5$ como una exageración para evitar cualquier posible problema con el aumento de 0 a un número negativo (o cero), pero no ayudó. (Además, tenga en cuenta que el $i$ anterior es una variable, no el número imaginario). ¿Alguien sabe por qué ocurre esto?

Answer 1

Normalmente, sobre todo en el caso de las identidades binomiales, $$ 0^n=\left\{\begin{array}{c}1\text{ if }n=0\\0\text{ if }n>0\end{array}\right. $$ se utiliza.

En su ejemplo concreto, el exponente de $0$ se supone que es mayor que $0$ por lo que no veo la necesidad de $0^{-1+c}$ o $0^c$ . La respuesta sigue siendo correcta, pero innecesariamente complicada. Si su suposición fuera $c\ge 1$ entonces $0^{-1+c}$ sería necesario, pero no $0^c$ .