February 2005 - PPL-devel - BUGSENG Mailman

CVSROOT commit_prep
by Matthew Mundell 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: mundell(a)cs.unipr.it 2005-02-14 20:03:14 Modified files: . : commit_prep Log message: Ensure temp directory exists. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/commit_prep.diff?cvsroot=…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-02-14 19:04:23 Modified files: htdocs/Credits : Credits.raw Log message: Added Matthew to the list of current contributors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/src Linear_System.inlines.hh
by Matthew Mundell 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-02-14 17:19:33 Modified files: src : Linear_System.inlines.hh Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.…

1 0

ppl/src fpu-ia32.inlines.hh
by Roberto Bagnara 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-14 17:00:31 Modified files: src : fpu-ia32.inlines.hh Log message: Define HIJACK_FPU only if it is not already defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?…

1 0

Re: [PPL-devel] Any emacs guru out there?
by Andrea Pescetti 14 Feb '05

14 Feb '05

> Is there a simple way, in emacs, to require spell-checking of all the > comments and/or all the strings in C/C++ source files? What's wrong with "M-x ispell-comments-and-strings"? Yours, Andrea.

3 4

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-14 15:57:37 Modified files: src : BD_Shape.inlines.hh Log message: Do not use assignment with unspecified rounding mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 14 Feb '05

14 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-02-14 14:49:28 Modified files: src : checked_float.inlines.hh Log message: Added rounding functions. Treat specially negative zero representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

Re: mpz_get_d precision
by Roberto Bagnara 13 Feb '05

13 Feb '05

Kevin Ryde wrote: > Updated words on the get_d functions will be as follows. > > The bits about hardware traps are because I don't want to try to > guarantee they will or won't occur. I'm fairly sure in the past some > cases trapped and some not, so this should be a no-change. > > > -- Function: double mpz_get_d (mpz_t OP) > Convert OP to a `double', truncating if necessary (ie. rounding > towards zero). > > If the exponent from the conversion is too big, the result is > system dependent. An infinity is returned where available. A > hardware overflow trap may or may not occur. > > -- Function: double mpz_get_d_2exp (signed long int *EXP, mpz_t OP) > Convert OP to a `double', truncating if necessary (ie. rounding > towards zero), and returning the exponent separately. > > The return value is in the range 0.5<=abs(D)<1 and the exponent is > stored to `*EXP'. D * 2^EXP is the (truncated) OP value. If OP > is zero, the return is 0.0 and 0 is stored to `*EXP'. > > This is similar to the standard C `frexp' function (*note > Normalization Functions: (libc)Normalization Functions.). > > > -- Function: double mpq_get_d (mpq_t OP) > Convert OP to a `double', truncating if necessary (ie. rounding > towards zero). > > If the exponent from the conversion is too big or too small to fit > a `double' then the result is system dependent. For too big an > infinity is returned when available. For too small 0.0 is > returned. Hardware overflow, underflow and denorm traps may or > may not occur. > > > -- Function: double mpf_get_d (mpf_t OP) > Convert OP to a `double', truncating if necessary (ie. rounding > towards zero). > > If the exponent in OP is too big or too small to fit a `double' > then the result is system dependent. For too big an infinity is > returned when available. For too small 0.0 is returned. Hardware > overflow, underflow and denorm traps may or may not occur. > > -- Function: double mpf_get_d_2exp (signed long int *EXP, mpf_t OP) > Convert OP to a `double', truncating if necessary (ie. rounding > towards zero), and with an exponent returned separately. > > The return value is in the range 0.5<=abs(D)<1 and the exponent is > stored to `*EXP'. D * 2^EXP is the (truncated) OP value. If OP > is zero, the return is 0.0 and 0 is stored to `*EXP'. > > This is similar to the standard C `frexp' function (*note > Normalization Functions: (libc)Normalization Functions.). I see this extra documentation is not present in the GMP 4.1.4 distribution. Since I am very interested about these guarantees (in particular for what concerns mpz_get_d and mpq_get_d), I would like to ask: 1) Do these words apply to GMP 4.1.4? 2) (In any case) Will they apply to GMP 4.2? Many thanks in advance, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl ./INSTALL ./compile ./config.guess ./confi ...
by Roberto Bagnara 13 Feb '05

13 Feb '05

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 12 Feb '05

12 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-12 18:43:56 Modified files: src : Polyhedron_public.cc Log message: Little comment improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0