Re: [GiNaC-list] Bug with evalm()?