AngouriMath

Navigation

← Back to list of members

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

 Method (no overloads)

Summary

A polynomial P of degree m times a function G of one logarithm of a
quotient of linears, over the power L^k of a linear proportional to one of them,
with m <= k - 2: P written in powers of L at its root,
P = p_0 + p_1 L + ... + p_m L^m, makes the integrand sum p_j G/L^(k - j) exactly, and each term is a power of one of the logarithm's linears beside a function of
it, which SolveByTheQuotientOfTheLogarithmsLinears(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean) answers under the
quotient. Rubi's 7.3.4 x (a + b atanh(c x))^2/(d + c d x)^3 is
((a + b atanh(c x))^2/(d + c d x)^2 - d (a + b atanh(c x))^2/(d + c d x)^3)/(c d).
https://github.com/asc-community/AngouriMath/issues/233

Remarks

The rule for a rational function times a power of a logarithm took it by parts, and the
remainder ran past the budget. Not where a term would be over L alone, a
dilogarithm nothing here answers, and not where G is the logarithm's first power,
which that rule answers in one step and keeps the answer it gives.

























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