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

SharedFactor

Property

Summary

k*p + k*q = k*(p + q), written once, where the switch writes it four
times.

Remarks

This is what #248 is for. Patterns.CommonRules spells the same identity out in four arms —
(k*p) + (k*q), (p*k) + (k*q), (k*p) + (q*k), (p*k) + (q*k) — because a C# pattern cannot say "either way round". One commutative pattern says
it, and the four arms become one rule.
It is also the first rule here that is Sound.
Distributivity holds for every complex k, p and q with no side
condition and no branch to choose, so the tier says something its neighbours' does
not — which is the whole reason a tier belongs on a rule rather than on a set.

AngouriMath

Table of contents

AngouriMath

SharedFactor