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