AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

← Back to list of members

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

 Method (no overloads)

Summary

Powers that are not whole of polynomials that are constant multiples of powers of one
linear, gathered into one power of it: B^p = (B^p/L^(k p)) L^(k p) for
B = lambda L^k, so sqrt(-2 - b x) sqrt(2 + b x) is a constant times
2 + b x and (a^3 + 3 a^2 b x + 3 a b^2 x^2 + b^3 x^3)^p one times
(a + b x)^(3 p).

Remarks

B^p/L^(k p) is constant wherever it is continuous: its logarithmic derivative is
p B'/B - k p L'/L, which is zero for B = lambda L^k. It is kept in the
answer as written. Rubi's 1.1.1.2 1/(sqrt(-2 - b x) sqrt(2 + b x)), 1.1.1.3
(a + b x)^n/(x (-a - b x)^n) and 1.3.1 (a^3 + 3 a^2 b x + 3 a b^2 x^2 + b^3 x^3)^p were declined.
https://github.com/asc-community/AngouriMath/issues/718

























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