AngouriMath
AsExponentials(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Every power whose exponent moves rewritten as an exponential, which is how
Mrv(AngouriMath.Entity,AngouriMath.Entity.Variable) reads one in any case.
Mrv(AngouriMath.Entity,AngouriMath.Entity.Variable) reads one in any case.
Remarks
The mrv set holds subexpressions of the expression and Rewrite(AngouriMath.Entity,System.Collections.Generic.HashSet{AngouriMath.Entity},AngouriMath.Entity.Variable,AngouriMath.Entity.Variable) substitutes them by name, so a member has to occur in the expression as it stands.
Reading b^p as exp(p * ln(b)) inside Mrv alone put a member in the set that was
nowhere in the expression: for x^x / e^(x * ln(x)) the set came back holding the
same exponential twice, once as the constructed e^(x * ln(x)) and once as the
denominator's own e^(ln(x) * x), and the substitution found only the second. The
numerator went into the series as x^x, whose leading exponent reads as +1, and the
limit came back 0 where the two sides are equal and the answer is 1.
https://github.com/asc-community/AngouriMath/issues/735
This assumes b is positive, which is what Mrv's own reading of the same node
already assumed; the algorithm is scoped to the exp-log functions, and a moving
exponent over a base that changes sign is outside that class either way.
Reading b^p as exp(p * ln(b)) inside Mrv alone put a member in the set that was
nowhere in the expression: for x^x / e^(x * ln(x)) the set came back holding the
same exponential twice, once as the constructed e^(x * ln(x)) and once as the
denominator's own e^(ln(x) * x), and the substitution found only the second. The
numerator went into the series as x^x, whose leading exponent reads as +1, and the
limit came back 0 where the two sides are equal and the answer is 1.
https://github.com/asc-community/AngouriMath/issues/735
This assumes b is positive, which is what Mrv's own reading of the same node
already assumed; the algorithm is scoped to the exp-log functions, and a moving
exponent over a base that changes sign is outside that class either way.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online