GiNaC library