[PPL-devel] [Fwd: Re: Clarification on mpz_size()]
Roberto Bagnara
bagnara at cs.unipr.it
Tue Nov 23 22:13:15 CET 2004
-------- Original Message --------
Subject: Re: Clarification on mpz_size()
Date: Tue, 23 Nov 2004 19:58:57 +0000
From: Sisyphus <kalinabears at iinet.net.au>
To: Roberto Bagnara <bagnara at cs.unipr.it>
CC: gmp-discuss at swox.com
References: <41A317FE.6030905 at 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 at 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 at cs.unipr.it
More information about the PPL-devel
mailing list