AngouriMath
DistributeAFractionalPower(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean,System.Boolean)
Method (no overloads)
Summary
A constant taken out of a fractional power, and a power of the variable split off
with it:(c g)^b is c^b g^b for a positive c , and (c x^n)^b is c^b x^(n b) where n is not whole. sqrt(b sec(y))/sec(y)^(7/2) is sqrt(b) cos(y)^3 and was read by nothing; x^2 sin(a + b ln(c x^n)) folds to a power of c x^n and stopped there.
with it:
Remarks
Exact on the domain the integrand has. With a symbolic n , x^n is real
only for a positivex -- at a negative one it is a complex number or nothing --
so the integrand is defined there and nowhere else, and onx > 0 the
identity holds for a positivec . That condition travels with the answer as
provided c > 0 , unless c is a positive number already; the
(e x)^(n - 1) of Rubi's 6.5.2 carries the same one. A whole exponent is
SolveByDistributingWholePowersOfProducts(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)'s, and needs no condition.
The two are asked from two places: the monomial where it always was, and the constant
alone after the rules that answer its shapes for any real constant, since this one
owesprovided c > 0 and, asked first, answered them weaker.
https://github.com/asc-community/AngouriMath/issues/718
only for a positive
so the integrand is defined there and nowhere else, and on
identity holds for a positive
SolveByDistributingWholePowersOfProducts(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)'s, and needs no condition.
The two are asked from two places: the monomial where it always was, and the constant
alone after the rules that answer its shapes for any real constant, since this one
owes
https://github.com/asc-community/AngouriMath/issues/718
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online