Published 2019-12-31T02:19:00.002Z by Physics Derivation Graph

OCaml: simplify expressions to basis for equivalence classLaTeX --> OCaml AST, then compare against all other OCaml ASTs

Scope is for +, -, * for integers

Next steps would be expand to real, then complex

Use case: find other equivalent expressions

Use case: validation

This requires typed variables (eg int, real, constant, real, complex, matrix, vector

Rules:

- addition rule of equality
- multiplication rule of equality
- substitution property of equality
- associative property
- commutative property
- transitive property
- symmetric property
- additive inverse property