Dear members

I am writing an Ocaml code and part of it I need to do the following job:

* I want to find out if two arithmetic or logical expressions  are equal
  like "a + b" and "2 * a + b - a" or "a and b or a" and "a", and Ocaml
it is unlikely to achieve my target, therefore I checked the available
packages and tools that can do the job and I found "Mathematica".
I would appreciate if someone could guide me on how to interface (if
possible)to mathematica from Ocaml programme.

Note: I have to compare the expression and get the result of the
checking back to my Ocaml programme as I want to do the following
comparison that depends on the previous one.

Your help is much appreciated

Cheers,
Zaid

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to