[GiNaC-devel] Python printing method for integrals