[GiNaC-devel] Print function for user-defined function