AngouriMath
Navigation
IsNotAPowerOverTheReals(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
Whether, for a positive real base and an exponent real at every real
x , value is decidedly not a positive real.
Remarks
Decided on an enclosure of the value, never on its printed form: ln(-1) stays
a node, and only its value says it isi pi . A value is not a positive real
where its imaginary part is enclosed away from zero, where its real part is enclosed
below zero whatever its imaginary part is, or where it is exactly zero. Anything
else -- a value the enclosure cannot separate from the positive reals, or one with a
free variable -- is left to the inversion as before, so this only ever removes a
root it has proved is not one.
a node, and only its value says it is
where its imaginary part is enclosed away from zero, where its real part is enclosed
below zero whatever its imaginary part is, or where it is exactly zero. Anything
else -- a value the enclosure cannot separate from the positive reals, or one with a
free variable -- is left to the inversion as before, so this only ever removes a
root it has proved is not one.
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online