[GiNaC-devel] Find length of a vector