AngouriMath
Minimise(AngouriMath.Entity)
Method (no overloads)
Summary
The expression as a minimal sum of products, or null where it is
not a purely boolean expression, has too many variables, or is already what this
would produce.
not a purely boolean expression, has too many variables, or is already what this
would produce.
Remarks
**Offered as one more candidate rather than taken.** `Simplify` ranks what it is
given by node count and returns the shortest, so handing it this can only change an
answer where it is shorter than everything else on offer -- which is what makes it
safe to add to a pipeline that already answers most expressions well. It is also
what fixes
#769: there
the winning candidate was an `implies` form at 12 nodes, beating the 16-node input,
and the minimal `not (a or b)` at 4 was never generated for it to lose to.
given by node count and returns the shortest, so handing it this can only change an
answer where it is shorter than everything else on offer -- which is what makes it
safe to add to a pipeline that already answers most expressions well. It is also
what fixes
#769: there
the winning candidate was an `implies` form at 12 nodes, beating the 16-node input,
and the minimal `not (a or b)` at 4 was never generated for it to lose to.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online