Simplifying mathematical expressions¶
Page status: Outline
This is a rough outline of an article. It might not use full sentences everywhere and probably won’t make much sense at the moment.
Problem¶
Randomised mathematical expressions usually need some rearrangement, which a human would do automatically.
“Simplification” is not a uniquely-defined task: depends on context.
Solution¶
Rewrite rules defined using Pattern-matching mathematical expressions.
Configurable sets of rules.
Repeatedly apply rules until none match.
Need to ensure that there are no loops - the simplification process converges.