I am writing OCaml code. In its part, I want to check if two arithmetic expressions are equal (for example, x + 2 + y == x + 2 * yy + 2). The implementation of this in mathematics is simple, so all I need to do is run Mathematica and return the result to OCaml. My OS platform is Linux.
Cheers, Z.
source
share