+GiNaC src
+ginac tutor pdf
+ginac reference