/math/GiNaC/