AngouriMath
NumericNeat
Property
Summary
Cosmetic arrangement of signs, so that adding a negative reads as a difference.
Remarks
Run by the matcher rather than by the switch —
NumericNeat, where its sixteen arms are eleven
rules: six of them are three rules written twice over, once for each side a
negative factor can sit on, and a commutative pattern says each once.
NumericNeat, where its sixteen arms are eleven
rules: six of them are three rules written twice over, once for each side a
negative factor can sit on, and a commutative pattern says each once.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online