Symbolic Math in Julia?

Question

I use Mathematica for symbolic math calculations. I am planning to switch to another language. Matlab (which I use for standard computation stuff) includes this feature but I am looking at the possibility of using Julia, since it seems to be the future. Yet, there seems to be no symbolic tool available (no mention in official documentation). Apparently the only package available (SymPy) says "Test Failed" in the official website (http://pkg.julialang.org/).

Has anyone been able to do this in Julia?

Solution 1

Now, looking at http://pkg.julialang.org/ one could find more candidates to perform symbolic mathematics in julia:

• SymEngine.jl

  Julia Wrappers for SymEngine, a fast symbolic manipulation library, written in C++.

• Symata.jl

  a language for symbolic computations and mathematics, where, for the most part, "mathematics" means what it typically does for a scientist or engineer.

• SymPy.jl

  Julia interface to SymPy via PyCall

Also:

• LinearExpressions.jl

  Linear symbolic expressions for the Julia language

Solution 2

SymPy Package works fine, it brings Python's Sympy functionality into Julia via PyCall.

SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries.

Solution 3

Also, consider the Nemo.jl library which they claim is faster than alternatives like SageMath.

Comments

[jverzani]

The test failed is due to the underlying reliance on Python and SymPy. The package works just fine if you have that set up properly.

[luchonacho]

What a weird categorization system then... any intuition behind it?

[jverzani]

Well the tests fail, but in general it is nice to know when they pass. In this instance, they fail as there is a dependency on mpmath that isn't installed in the testing framework. However, the tests also fail on travis. There for the reason that the test environment installs an older version of SymPy, so the matrix features don't work. Even with the public failures, for developing it is nice to have tests to make sure things are working as expected. Would a heads up on the githup page make a difference?

[JAlex]

Out of curiosity what other symbolic tools have use used and are familiar with?