Re: [GiNaC-list] A differential geometry-specific extension