Re: [GiNaC-list] little optimization => lots of Memory usage