AngouriMath
WithoutRepeatedExclusions(AngouriMath.Entity)
Method (no overloads)
Summary
A conjunction with each exclusion of one value written once: not x = 1 and
not x - 1 = 0 and not (1 - x)^2 = 0 is not x = 1 , since each excludes the
same root. An exclusion isnot (l = r) in one variable whose equation the
solver answers with a listed set; two with the same set are one, and the first kept.
not x - 1 = 0 and not (1 - x)^2 = 0
same root. An exclusion is
solver answers with a listed set; two with the same set are one, and the first kept.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online