AngouriMath
Unsolved(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
The answer when every solver above has declined: the equation itself, as the set
of thex that satisfy it.
of the
Remarks
The empty set is a positive claim -- that no x satisfies
equation -- and returning it from an exhausted search asserts
something nothing here established.x^6 + x*y + 1 = 0 has six roots for
everyy and was answered { } . A condition asserts only what was
established, which is that these are the roots, whichever they are; the set is
still exactly the solution set, so nothing downstream is told anything false.
The spelling is the one UnsolvedWhereIndependenceIsDenied(AngouriMath.Entity.Set,AngouriMath.Entity,AngouriMath.Entity.Variable) and the #278 case above already use, rather than a second way of saying the same thing.
#1036,
#746
something nothing here established.
every
established, which is that these are the roots, whichever they are; the set is
still exactly the solution set, so nothing downstream is told anything false.
The spelling is the one UnsolvedWhereIndependenceIsDenied(AngouriMath.Entity.Set,AngouriMath.Entity,AngouriMath.Entity.Variable) and the #278 case above already use, rather than a second way of saying the same thing.
#1036,
#746
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online