Physics Derivation Graph navigation
Sign in
Using OCaml to identify equivalent expressions
Published 2019-12-31T02:19:00.002Z by Physics Derivation Graph
OCaml: simplify expressions to basis for equivalence class
LaTeX --> 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