Re: [PPL-devel] mpz_addmul_ui with ui = 1

On 2009-01-28 13:55:06 +0100, Roberto Bagnara wrote:

I am glad you raised the issue here and I hope Torbjorn will correct me if I misinterpreted the GMP's policies in this respect.

Is GMP's policy documented somewhere? If not, I think this should be documented, so that the user does not have to do useless checks if they are done by GMP. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)