Interface to GiNaC, providing Python with symbolic mathematics
