AngouriMath

Navigation

← Back to list of members

SolveByExpandingAPower​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Boolean)

 Method (no overloads)

Summary

A power whose base holds the variable, written out and integrated term by term.

Remarks

(2x + 3x^2)^3 had no antiderivative, and it is a polynomial. The rule for a
power integrates x^n and asks that the base be the variable, so a base
that merely contains it — any polynomial but a bare x — matched nothing, and
nothing else in the chain writes a power out. (1 + x)^3 was answered only
because the linear substitution reads it.
It runs last, after every rule that can answer a power in its own terms.
Expanding throws away whatever structure the power had — (1 + x^2)^2 is
answered as a power, and writing it out first would replace that answer with a longer
one saying the same thing.
Only a positive whole exponent, where writing it out is a finite identity. A
negative one is a quotient and belongs to partial fractions; a fractional one is a
radical and does not expand at all.
The expansion is bounded by MaxExpansionTermCount like
every other, and the rule declines where the expansion is not a sum — nothing was
written out, so handing it on would ask the same question again.
https://github.com/asc-community/AngouriMath/issues/718

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online