On 03/16/2014 04:09 AM, jiazhaoconga wrote: > And http://axiom-wiki.newsynthesis.org/SymbolicDifferentiation implements > a small enough subset of Category and Domain from scratch to do symbolic > differentiation, you can try to implement it in Julia to prove the > translation idea is possible (at least by hand).
The truth is, "SymbolicDifferentiation" is not completely done from scratch. It builds on the powerful Expression domain of the FriCAS library, where "powerful" here means that it can simplify expressions like 3*x+5*x^2-x = 5*x^2+2*x and log(exp(x))=x. If (for simplicity of code) one accepts long unsimplified expressions, then a simple expression domain is probably not hard to write. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
