-------- 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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it