Coefficient sizes [was: Re: [PPL-devel] Tinderbox status]

[Roberto Bagnara]

Abramo Bagnara wrote:
> The funny part is that I'm almost sure Roberto added it (with a little
> help from myself).
> 
> We definitely must remove some work from your shoulder, "all work and no
> play makes Jack..." :-D

Precisely  :-)

> That apart the use of rand(3) to generate random coefficients is suboptimal.
> The range is limited from 0 to RAND_MAX (2147483647 on ia32).

GMP supports the generation of arbitrary-size pseudo-random numbers.
I would use those.
Ciao,

    Roberto

-- 
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