I have read the long thread that you post earlier this month in julia-dev: Symbolic Math: try a translation of Axiom to Julia? https://groups.google.com/forum/#!topic/julia-dev/NTfS9fJuIcE
Some words about the comparison of CAS mentioned in the thread above: panAxiom systems have great structure, but may lack some convenient features (like good UI) that other systems have. panAxioms have the most complete Risch Algorithm (written 20 years ago, I think), so they can compute symbolic indefinite integral much better than other systems. For example, integrate(x/sqrt(x^4 + 10*x^2 - 96*x - 71),x) fails in both mathematica, maxima and sympy. I noticed about Julia last year because it has a type system, unlike matlab/mathematica, and I think having a good type system is the right approach. I never actually write or run Julia code before, so I want to ask one question (about the type system of Julia) : Is it possible to express type 'Fraction(Complex(Integer))' which means a fraction of complex integer in Julia? 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). -- 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.
