AngouriMath

Navigation

← Back to list of members

ConditionedOnTheRadicand​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

 Method (no overloads)

Summary

answer, an antiderivative of expr through the root of
radicand taken as a non-negative real, conditioned on the radicand only
as far as that is owed. Beside a second even root the integrand can be real where the
radicand is negative, a product of two imaginary roots, and there the answer is measured:
where it holds at every point the condition is not owed at all, and where it holds just
where the integrand is real, beside one other root of a half-odd power, the condition is
the radicand's or the other's negative, which is where the integrand is real.

Remarks

The answers to sqrt(cot(c + d x)) (a + b tan(c + d x))^(5/2) (A + B tan(c + d x)), to
twenty-five more of Rubi's 4.3.3.1 and to twelve of its 4.3.2.1, as
sqrt(cot(c + d x)) sqrt(a + b tan(c + d x)), said provided tan(c + d x) >= 0, and those to
Timofeev's arcsec(x) sqrt(x^2 - 1)/x^4 and arcsec(x)/(x^2 - 1)^(5/2)provided x^2 - 1 >= 0, each nothing at all on part of the line where the
integrand is real; each holds there as it stands.
https://github.com/asc-community/AngouriMath/issues/233

























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