Re: [GiNaC-list] Advertisement for GiNaC