AngouriMath
IntrinsicCondition
Property
Summary
Returns the intrinsic condition under which this specific operation is defined,
not including conditions from child expressions.
This represents the inherent domain restrictions of the operation itself.
For example:
- For division (x/y): returns "y ≠ 0" (the divisor must be non-zero)
- For power (x^y): returns conditions for 0^0, 0^negative, etc.
- For logarithm log(b, x): returns "b > 0 and b ≠ 1 and x > 0"
- For addition (x + y): returns Boolean.True (no restrictions)
- For tan(x): returns "cos(x) ≠ 0"
Child expression conditions are handled separately by the DomainCondition property.
not including conditions from child expressions.
This represents the inherent domain restrictions of the operation itself.
For example:
- For division (x/y): returns "y ≠ 0" (the divisor must be non-zero)
- For power (x^y): returns conditions for 0^0, 0^negative, etc.
- For logarithm log(b, x): returns "b > 0 and b ≠ 1 and x > 0"
- For addition (x + y): returns Boolean.True (no restrictions)
- For tan(x): returns "cos(x) ≠ 0"
Child expression conditions are handled separately by the DomainCondition property.
Remarks
This corresponds to the mathematical concept of a function's "natural domain" -
the largest set of inputs for which the function's formula makes sense,
independent of any restrictions on the input variables themselves.
the largest set of inputs for which the function's formula makes sense,
independent of any restrictions on the input variables themselves.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online