AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

NumericNeat

Property

Summary

NumericNeatRules(AngouriMath.Entity), as data.

Remarks

Sixteen arms become eleven. Six of the sixteen are three rules written twice, once
for each side a negative factor can sit on inside a product — which is
Commutative``1(AngouriMath.Core.Transformations.Matching.MatchPattern,AngouriMath.Core.Transformations.Matching.MatchPattern) — and two more are the one-sided sum and
difference rules, whose two spellings are one rule about "the other operand".
Order is load-bearing and is kept exactly. The both-negative rules come first,
because a commutative one-sided rule matches a both-negative sum too and would take
it. Every replacement negates a bound number, so all eleven are one-way.

AngouriMath

Table of contents

AngouriMath

NumericNeat