February 2002 - PURRS-devel

purrs ./config.h.in ./configure.ac src/approx_ ...
by Roberto Bagnara 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-18 22:45:28 Modified files: . : config.h.in configure.ac src : approx_expr.cc globals.hh tests : Makefile.am eqs_driver.cc Log message: Done some experiments with filib++, then switched it off again. Some cleanup meanwhile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/config.h.in.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/approx_expr.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cv…

1 0

purrs/src alg_eq_solver.cc
by Roberto Bagnara 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-18 20:35:15 Modified files: src : alg_eq_solver.cc Log message: The case of nested polynomials has been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/src alg_eq_solver.cc
by Alessandro Zaccagnini 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-02-18 19:51:19 Modified files: src : alg_eq_solver.cc Log message: Towards fixing a bug whereby x^5-2 is solved as if it was x-2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/infrastructure README
by Roberto Bagnara 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-18 16:54:27 Modified files: infrastructure : README Log message: Explain how to configure cgicc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/infrastructure README
by Roberto Bagnara 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-18 16:22:17 Modified files: infrastructure : README Log message: libtool 1.4.2 is also needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 18 Feb '02

18 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-18 15:29:17 Modified files: tests : rrs_driver.cc Log message: Required includes added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

Good news [Fwd: Re: Porting CoStLy]
by Roberto Bagnara 18 Feb '02

18 Feb '02

-------- Original Message -------- Subject: Re: Porting CoStLy Date: Mon, 18 Feb 2002 10:45:36 +0100 From: Markus Neher <markus.neher(a)math.uni-karlsruhe.de> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <3C6D02B4.3010803(a)cs.unipr.it> Dear Professor Bagnara, > for a research project we have undertaken, my group and myself need a library > for complex interval arithmetic. For this reason I am really happy I have found > about the existence of the CoStLy library. Since in the project we already use > the fi_lib++ library we are thinking about modifying CoStLy so that it uses > fi_lib++. Do you know if anyone is already doing this? We got in touch with the > fi_lib++ people and they do not know about such an effort. My colleague Ingo Eble and I are already working on this modification. It will available in about 4 weeks. Best regards, Markus Neher -- 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

purrs/infrastructure README
by Roberto Bagnara 17 Feb '02

17 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-17 15:28:16 Modified files: infrastructure : README Log message: Must use --enable-cxx when configuring GMP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/tests eqs_driver.cc rrs_driver.cc readli ...
by Roberto Bagnara 16 Feb '02

16 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-16 10:13:47 Modified files: tests : eqs_driver.cc rrs_driver.cc Added files: tests : readlinebuf.hh Log message: Use GNU readline when available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/readlinebuf.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/infrastructure README patch_filib++-2.0
by Roberto Bagnara 15 Feb '02

15 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-02-15 16:34:52 Modified files: infrastructure : README Removed files: infrastructure : patch_filib++-2.0 Log message: New instructions for the new version of filib++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/patch_filib+…

1 0