Re: [GiNaC-devel] Find length of a vector