AngouriMath
InvertNegativeMultipliers
Property
Summary
Remarks
Two rules that differ in the way that matters here. The first negates a bound real,
so its replacement is code and it has no reversal. The second only rearranges what it
bound —-(a - b) = b - a — so both of its sides are patterns and it reads
backwards, which is the distinction Reversal exists to make
visible within one set.
so its replacement is code and it has no reversal. The second only rearranges what it
bound —
backwards, which is the distinction Reversal exists to make
visible within one set.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online