On Tuesday, January 27, 2015 at 12:24:35 AM UTC+1, John Lapeyre wrote: > > To be more clear: First I think the ideas in this thread will be used > in Julia projects in interesting ways we aren't even thinking of--- > it's well suited for all of them. At the moment, I'm only interested in > implementing a pattern and rule based system something like > Mathematica. An example of why, is the Rubi integration package > > http://www.apmaths.uwo.ca/~arich/ > > I read that the next version of Rubi will feature a decision tree, no longer pattern matching.
> > Even if I or someone else, got the all the basic pattern matching > implemented, Rubi (for instance again) still uses Simplify and other > features. > The easiest way would be to call SymPy's simplify from Julia via PyCall. Anyways, SymPy is BSD 3-clause licensed, you may copy from its code.