AngouriMath
IsUndefinedAtTheZerosOf(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
Whether expression has no value wherever e is
zero, by its own domain condition read in the ambient codomain
(DomainConditionIn(AngouriMath.Core.Domain)): the condition excludes the zeros of
e where a conjunct not d = 0 or d > 0 has d vanishing with e , or a disjunction has every side excluding them --
x^x 's not x = 0 or x > 0 .
zero, by its own domain condition read in the ambient codomain
(DomainConditionIn(AngouriMath.Core.Domain)): the condition excludes the zeros of
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online