[GiNaC-devel] Tutorial micro patch: eta function