[GiNaC-devel] some questions