new lib GiNaC added.