[PPL-devel] [Fwd: Re: Clarification on mpz_size()]

-------- Original Message -------- Subject: Re: Clarification on mpz_size() Date: Tue, 23 Nov 2004 19:58:57 +0000 From: Sisyphus kalinabears@iinet.net.au To: Roberto Bagnara bagnara@cs.unipr.it CC: gmp-discuss@swox.com References: 41A317FE.6030905@cs.unipr.it

Roberto Bagnara wrote:

I have a doubt concerning the interpretation of the documentation of `mpz_size()': let `x' be of type `mpz_t'. Is the intended semantics of `mpz_size()' such that the expression

mpz_size(x) == 0 || mpz_getlimbn(x, mpz_size(x)-1) != 0

always evaluates to true?

Yes.

Cheers, Rob

_______________________________________________ gmp-discuss mailing list gmp-discuss@swox.com http://swox.com/mailman/listinfo/gmp-discuss