Pattern-matching algebraic expressions!
See
the documentation
.
Pattern
Pattern:
Expression to test:
Replacement expression:
Use commutativity?
Use associativity?
Strict addition?
Allow other terms?
Gather terms matched under the same name?
Replace all?
Match
✗
Match! ✓
Captured groups
Group
Expression
Result
(Not changed)
Examples