AngouriMath
IsRealValued(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Whether the expression is real wherever it is defined, given that x is, and given what Assuming``1(AngouriMath.Entity,System.Func{``0}) says is known to hold. A free variable is
read as complex by this library, so one appearing anywhere but under a modulus
settles nothing and the answer is no. Nothing is claimed for a shape not listed: the
list costs coverage and never correctness.
read as complex by this library, so one appearing anywhere but under a modulus
settles nothing and the answer is no. Nothing is claimed for a shape not listed: the
list costs coverage and never correctness.
Remarks
Asked by the limit reader, for which a bound or an oscillation is a fact about a real
argument, and by differentiation, for which|f|' = sgn(f) * f' and
sgn(f)' = 0 are facts about a real-valued f : |i / x| is
1 / |x| , whose derivative is -sgn(x) / x^2 , where the real-line formula
givessgn(i / x) * (-i / x^2) = sgn(x) / x^2 -- the wrong sign, and through
l'Hopital's rule the limit of(i / x) / |i / x| at +oo read as 1 where it is i .
#1186
argument, and by differentiation, for which
gives
l'Hopital's rule the limit of
#1186
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online