sympy - written in python, extremely simple

PyDSTool's Symbolic - written in python and based on the Maple syntax model.

swiginac - automatic wrapper around ginac (a fast, well-tested C++ library for computer algebra)

pythonica - older code (last web update 2004) based on the Mathematica syntax model.

sage -- http://sage.scipy.org/sage/ Software for Algebra and Geometry Experimentation

download data from http://cheeseshop.python.org/pypi/swiginac/0.9.5

untar and unzip

python setup.py build (need GiNaC-dev, cln-dev, swig)

python setup.py install --home=/tmp/swiginac

sudo cp -r /tmp/swiginac/lib/python/* /usr/local/lib/python2.4/site-packages/

http://www.ginac.de/tutorial/Integrals.html#Integrals

GiNaC has a maximum integration depth=15, which makes problem 3 in math508's homework 12 impossible to be tackled by swiginac. The problem has a chain length of 251. What makes it worse is that swiginac doesn't resolve the previous integral object (unevaluated).