AngouriMath

Navigation

← Back to list of members

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

 Method (no overloads)

Summary

expr with every logarithm whose argument is a rational function
of x with a quotient nested inside it written over one bar in
lowest terms, where that is smaller: ln((1 + (u - 1)/(u + 1))/(1 - (u - 1)/(u + 1))) is ln(u).

Remarks

The combining above reaches the quotient the integrand is and not one inside a
function, and the simplifier combines nothing
(https://github.com/asc-community/AngouriMath/issues/1239). atanh(tanh(a + b x)) arrives as half that logarithm of tanh written in e^(2(a + b x)), and
under u the substitution search compared its candidates against the nested
spelling and never saw the u it is: 1/sqrt(atanh(tanh(a + b x))) was
answered before the substitution took a symbolic slope and not after.
https://github.com/asc-community/AngouriMath/issues/718

























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