AngouriMath
SolveARationalFunctionOverAPowerOfASymbolicQuadratic(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)
Method (no overloads)
Summary
A rational function over a whole power of a symbolic quadratic, beside at most one
linear to a whole power, with the power of the quadratic lowered one at a time rather
than the quadratic taken apart: the linear comes off first, as
N/(L^j Q^n) = N(p)/(Q(p)^n L^j) + M/(L^(j - 1) Q^n) at its root p , and
what is left overQ^k is S/Q^(k - 1) + (alpha Q' + beta)/Q^k , whose second
part is-alpha/((k - 1) Q^(k - 1)) and the recurrence
integral 1/Q^k = (2 c x + b)/((k - 1) D Q^(k - 1)) + 2 c (2 k - 3)/((k - 1) D) integral 1/Q^(k - 1) with D = 4 a c - b^2 , down to the first power, which is the integrator's.
linear to a whole power, with the power of the quadratic lowered one at a time rather
than the quadratic taken apart: the linear comes off first, as
what is left over
part is
Remarks
Rubi's 1.2.1.2 1/((d + e x) (a + b x + c x^2)^4) and x^8/(a + b x + c x^2)^4 ran past a minute: the partial fractions take a symbolic quadratic apart over its
roots, and its powers with it.D and Q(p) are named while the reduction
runs and written back after, so that each stays one atom.
https://github.com/asc-community/AngouriMath/issues/718
roots, and its powers with it.
runs and written back after, so that each stays one atom.
https://github.com/asc-community/AngouriMath/issues/718
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online