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

Factorization

Property

Summary

FactorizeRules(AngouriMath.Entity), as data.

Remarks

Twenty-two arms become eleven. Taking a common factor out of a sum is written
four times — k*p + k*q for each of the four ways the shared factor can sit —
and the difference four more, and the two "one of the terms is the factor"
cases twice each. Commutative patterns say each once, at both levels where both
levels are commutative.
A difference is not commutative, so the outer pattern of every subtractive rule
stays a plain node while its operands' products are matched either way round. That
distinction is invisible in a switch, where both are just arms.

AngouriMath

Table of contents

AngouriMath

Factorization