AngouriMath
MayTakeLogOfPowerHere(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
Whether log_b(a^c) = c * log_b(a) may be applied here, which it may only while
an approach is being read, and only wherebase holds a positive
sign on it andexponent is real along it.
an approach is being read, and only where
sign on it and
Remarks
The identity needs Im(c * ln a) inside the strip (-pi, pi] . A base that
is positive on the approach makesln a real, and a real c then leaves the
product real, so there is nothing for the principal branch to discard. Both halves are
answerable here and neither is answerable to a simplifier reading the expression on its
own account, which is why the rule declines there.
MayGatherLogarithmsHere(AngouriMath.Entity,AngouriMath.Entity,System.Boolean), so the limits it asks for cannot come back
through this same door.
https://github.com/asc-community/AngouriMath/issues/902
is positive on the approach makes
product real, so there is nothing for the principal branch to discard. Both halves are
answerable here and neither is answerable to a simplifier reading the expression on its
own account, which is why the rule declines there.
MayGatherLogarithmsHere(AngouriMath.Entity,AngouriMath.Entity,System.Boolean), so the limits it asks for cannot come back
through this same door.
https://github.com/asc-community/AngouriMath/issues/902
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online