- PURRS-devel - BUGSENG Mailman

CVS Update: interval
by Roberto Bagnara 07 Apr '02

07 Apr '02

CVSROOT: /cvs/filib++ Module name: interval Repository: interval/macro/include/ Changes by: roberto(a)spartacus.cs.unipr.it.(none) 02/04/07 14:21:00 Modified files: interval/ieee/: primitive.cpp interval/macro/include/: Interval.icc Log message: Update from Wuerzburg.

1 0

CVS Update: interval
by Roberto Bagnara 24 Mar '02

24 Mar '02

CVSROOT: /cvs/filib++ Module name: interval Repository: interval/macro/include/ Changes by: roberto(a)spartacus.cs.unipr.it.(none) 02/03/24 17:50:07 Modified files: interval/macro/include/: Interval.h Interval.icc global.h ieee.h Log message: Avoid `using namespace std' in public header files.

1 0

Patch for filib++ of March 15, 2002
by Roberto Bagnara 24 Mar '02

24 Mar '02

Dear German, please find enclosed a patch relative to the version of filib++ of March 15, 2002. The changes I had to make concern the presence of using namespace std; in some filib++ header files. The patch enclosed just removes them and adds explicit qualifications where needed. In general, using directives should be avoided in public include files because there is no way for the user to withdraw them (see http://www.gotw.ca/gotw/053.htm for a discussion of this point). In my particular case, the presence of that directive made compilation of my compilation impossible, since I have to include header files from other libraries and the presence of the "using namespace std" clashes. Keep up the good work 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 Index: macro/include/Interval.h =================================================================== RCS file: /cvs/filib++/interval/macro/include/Interval.h,v retrieving revision 1.1.1.2 diff -c -d -r1.1.1.2 Interval.h *** macro/include/Interval.h 15 Feb 2002 14:36:25 -0000 1.1.1.2 --- macro/include/Interval.h 24 Mar 2002 16:38:11 -0000 *************** *** 6,12 **** #ifdef FILIB_STD_HEADERS #include <iosfwd> #include <algorithm> // min, max - using namespace std; #else #include <iostream.h> --- 6,11 ---- *************** *** 1381,1387 **** * * @see #precision */ ! friend ostream &operator <<(ostream &os, INTV_ARG x); /** * Reads an interval in decimal representation from the given input stream. --- 1380,1386 ---- * * @see #precision */ ! friend std::ostream &operator <<(std::ostream &os, INTV_ARG x); /** * Reads an interval in decimal representation from the given input stream. *************** *** 1400,1412 **** * * Special intervals in the extended system are not yet considered. */ ! friend istream &operator >>(istream &is, Interval &x); /** * Prints a binary representation of this interval to the given output * stream. */ ! void bitImage(ostream &os) const; // ----------------------------------------------------------------------- // Special numbers --- 1399,1411 ---- * * Special intervals in the extended system are not yet considered. */ ! friend std::istream &operator >>(std::istream &is, Interval &x); /** * Prints a binary representation of this interval to the given output * stream. */ ! void bitImage(std::ostream &os) const; // ----------------------------------------------------------------------- // Special numbers Index: macro/include/Interval.icc =================================================================== RCS file: /cvs/filib++/interval/macro/include/Interval.icc,v retrieving revision 1.1.1.1 diff -c -d -r1.1.1.1 Interval.icc *** macro/include/Interval.icc 15 Feb 2002 14:35:52 -0000 1.1.1.1 --- macro/include/Interval.icc 24 Mar 2002 16:38:12 -0000 *************** *** 282,288 **** if (contains(0.0)) return 0.0; else ! return min(Double::abs(INF), Double::abs(SUP)); } --- 282,288 ---- if (contains(0.0)) return 0.0; else ! return std::min(Double::abs(INF), Double::abs(SUP)); } *************** *** 296,302 **** FILIB_INLINE double Interval::mag() const { ! return max(Double::abs(INF), Double::abs(SUP)); } --- 296,302 ---- FILIB_INLINE double Interval::mag() const { ! return std::max(Double::abs(INF), Double::abs(SUP)); } *************** *** 331,337 **** return *this; else #endif ! return Interval(min(INF, x.INF), min(SUP, x.SUP)); } --- 331,337 ---- return *this; else #endif ! return Interval(std::min(INF, x.INF), std::min(SUP, x.SUP)); } *************** *** 352,358 **** return *this; else #endif ! return Interval(max(INF, x.INF), max(SUP, x.SUP)); } --- 352,358 ---- return *this; else #endif ! return Interval(std::max(INF, x.INF), std::max(SUP, x.SUP)); } *************** *** 385,394 **** SUB_UP(tmp1, INF, x.INF); SUB_UP(tmp2, SUP, x.SUP); POSS_ROUND_NEAR; ! res = max(Double::abs(tmp1), Double::abs(tmp2)); #else ! res = max(Double::succ(Double::abs(INF == x.INF ? 0.0 : INF-x.INF)), ! Double::succ(Double::abs(SUP == x.SUP ? 0.0 : SUP-x.SUP))); #endif #ifdef FILIB_EXTENDED --- 385,394 ---- SUB_UP(tmp1, INF, x.INF); SUB_UP(tmp2, SUP, x.SUP); POSS_ROUND_NEAR; ! res = std::max(Double::abs(tmp1), Double::abs(tmp2)); #else ! res = std::max(Double::succ(Double::abs(INF == x.INF ? 0.0 : INF-x.INF)), ! Double::succ(Double::abs(SUP == x.SUP ? 0.0 : SUP-x.SUP))); #endif #ifdef FILIB_EXTENDED *************** *** 438,444 **** return errorIntersect(*this, x); #endif ! return Interval(max(INF, x.INF), min(SUP, x.SUP)); } --- 438,444 ---- return errorIntersect(*this, x); #endif ! return Interval(std::max(INF, x.INF), std::min(SUP, x.SUP)); } *************** *** 459,465 **** return *this; else #endif ! return Interval(min(INF, x.INF), max(SUP, x.SUP)); } --- 459,465 ---- return *this; else #endif ! return Interval(std::min(INF, x.INF), std::max(SUP, x.SUP)); } *************** *** 480,486 **** return *this; else #endif ! return Interval(min(INF, x), max(SUP, x)); } --- 480,486 ---- return *this; else #endif ! return Interval(std::min(INF, x), std::max(SUP, x)); } Index: macro/include/global.h =================================================================== RCS file: /cvs/filib++/interval/macro/include/global.h,v retrieving revision 1.1.1.1 diff -c -d -r1.1.1.1 global.h *** macro/include/global.h 15 Feb 2002 14:35:53 -0000 1.1.1.1 --- macro/include/global.h 24 Mar 2002 16:38:12 -0000 *************** *** 35,41 **** #ifdef FILIB_STD_HEADERS #include <cmath> - using namespace std; #else #include <math.h> #endif --- 35,40 ---- Index: macro/include/ieee.h =================================================================== RCS file: /cvs/filib++/interval/macro/include/ieee.h,v retrieving revision 1.1.1.1 diff -c -d -r1.1.1.1 ieee.h *** macro/include/ieee.h 15 Feb 2002 14:35:53 -0000 1.1.1.1 --- macro/include/ieee.h 24 Mar 2002 16:38:12 -0000 *************** *** 12,18 **** #ifdef FILIB_STD_HEADERS #include <iosfwd> - using namespace std; #else #include <iostream.h> #endif --- 12,17 ---- *************** *** 174,181 **** // ----------------------------------------------------------------------- // I/O // ----------------------------------------------------------------------- ! static void print(double x, ostream &os); ! static void bitImage(double x, ostream &os); // ----------------------------------------------------------------------- // predecessor and successor of a number --- 173,180 ---- // ----------------------------------------------------------------------- // I/O // ----------------------------------------------------------------------- ! static void print(double x, std::ostream &os); ! static void bitImage(double x, std::ostream &os); // ----------------------------------------------------------------------- // predecessor and successor of a number *************** *** 374,380 **** static FPUStartUp startup; ! static void basicBitImage(double d, ostream &os); // ----------------------------------------------------------------------- // pred/succ stuff --- 373,379 ---- static FPUStartUp startup; ! static void basicBitImage(double d, std::ostream &os); // ----------------------------------------------------------------------- // pred/succ stuff

1 0

Re: Filib++ based version of CoStLy
by Roberto Bagnara 22 Mar '02

22 Mar '02

Markus Neher wrote: > Dear Roberto, > > attached is a preliminary release of CoStLy Version 0.2, based on > Filib++. It has the same functionality as the old version which was > based on C-XSC, but it is much faster. Dear Markus, thank you very much: I was looking forward to that one! I attach below a diff containing the changes I had to perform in order to use the library. The changes are rather simple: all I had to do was to fix a couple of namespace std issues and to guard the code depending on `Complex' with `#ifdef HAS_Complex'. Thanks again Roberto P.S. I am also having a (more semantic) problem with pow(), but I prefer to investigate further. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it Index: cimath.cpp =================================================================== RCS file: /cvs/purrs/purrs/CoStLy/cimath.cpp,v retrieving revision 1.1.1.1 diff -c -d -c -4 -r1.1.1.1 cimath.cpp *** cimath.cpp 22 Mar 2002 13:23:27 -0000 1.1.1.1 --- cimath.cpp 22 Mar 2002 21:23:25 -0000 *************** *** 76,83 **** --- 76,86 ---- #include "Interval.h" //fi_lib++ Header: Macro Version typedef Interval interval; + using std::abs; + using std::max; + inline const interval& HALFPI() { static const interval hp( interval::PI() / 2.0 ); return hp; Index: cimath.h =================================================================== RCS file: /cvs/purrs/purrs/CoStLy/cimath.h,v retrieving revision 1.1.1.1 diff -c -d -c -4 -r1.1.1.1 cimath.h *** cimath.h 22 Mar 2002 13:23:28 -0000 1.1.1.1 --- cimath.h 22 Mar 2002 21:23:25 -0000 *************** *** 25,33 **** #ifndef _CIMATH_H_INCLUDED #define _CIMATH_H_INCLUDED ! #include "cinterval.hpp" cinterval exp(const cinterval&); cinterval cos(const cinterval&); cinterval sin(const cinterval&); --- 25,33 ---- #ifndef _CIMATH_H_INCLUDED #define _CIMATH_H_INCLUDED ! #include "cinterval.h" cinterval exp(const cinterval&); cinterval cos(const cinterval&); cinterval sin(const cinterval&); Index: cinterval.cpp =================================================================== RCS file: /cvs/purrs/purrs/CoStLy/cinterval.cpp,v retrieving revision 1.1.1.1 diff -c -d -c -4 -r1.1.1.1 cinterval.cpp *** cinterval.cpp 22 Mar 2002 13:23:28 -0000 1.1.1.1 --- cinterval.cpp 22 Mar 2002 21:23:25 -0000 *************** *** 25,32 **** --- 25,34 ---- #include "cinterval.h" #include "error.h" + using std::ostream; + cinterval operator - (const cinterval& z) { return cinterval( -z.re(), -z.im() ); } *************** *** 348,355 **** --- 350,358 ---- { return sqrt(sqr(z.re())+sqr(z.im())); } + #ifdef HAS_Complex Complex mid (const cinterval& z) { return Complex( mid(z.re()), mid(z.im()) ); } *************** *** 357,364 **** --- 360,368 ---- Complex diam(const cinterval& z) { return Complex( diam(z.re()), diam(z.im()) ); } + #endif //Binary operators cinterval operator + (const cinterval& z1, const cinterval& z2) Index: cinterval.h =================================================================== RCS file: /cvs/purrs/purrs/CoStLy/cinterval.h,v retrieving revision 1.1.1.1 diff -c -d -c -4 -r1.1.1.1 cinterval.h *** cinterval.h 22 Mar 2002 13:23:28 -0000 1.1.1.1 --- cinterval.h 22 Mar 2002 21:23:25 -0000 *************** *** 27,35 **** --- 27,41 ---- #define CINTERVAL_H_INCLUDED #include "Interval.h" //filib++ Header: Macro Version #include <iostream> + #ifdef HAS_Complex #include <Complex.h> + #endif + + #ifdef FILIB_NAMESPACES + typedef filib::Interval Interval; + #endif class cinterval { private: *************** *** 43,51 **** --- 49,59 ---- cinterval(const cinterval& z) : real_part(z.real_part), imag_part(z.imag_part) {} explicit cinterval(const Interval& x) : real_part(x), imag_part(0.0) {} explicit cinterval(const double& d) : real_part(d), imag_part(0.0) {} + #ifdef HAS_Complex explicit cinterval(const Complex& c) : real_part(c.real()), imag_part(c.imag()) {} + #endif cinterval& operator = (const cinterval& z) { if( this == &z ) return *this; *************** *** 91,101 **** inline const Interval& Re(const cinterval& z) { return z.re(); } inline const Interval& Im(const cinterval& z) { return z.im(); } Interval abs (const cinterval&); Complex mid (const cinterval&); Complex diam(const cinterval&); ! cinterval operator - (const cinterval&); // cinterval o cinterval, o \in { +,-,* }. --- 99,110 ---- inline const Interval& Re(const cinterval& z) { return z.re(); } inline const Interval& Im(const cinterval& z) { return z.im(); } Interval abs (const cinterval&); + #ifdef HAS_Complex Complex mid (const cinterval&); Complex diam(const cinterval&); ! #endif cinterval operator - (const cinterval&); // cinterval o cinterval, o \in { +,-,* }. *************** *** 133,141 **** cinterval operator / (const cinterval&, const double&); // output ! ostream& operator << (ostream&, const cinterval&); // bool operator <= (const double&, const cinterval&); --- 142,150 ---- cinterval operator / (const cinterval&, const double&); // output ! std::ostream& operator << (std::ostream&, const cinterval&); // bool operator <= (const double&, const cinterval&); Index: error.h =================================================================== RCS file: /cvs/purrs/purrs/CoStLy/error.h,v retrieving revision 1.1.1.1 diff -c -d -c -4 -r1.1.1.1 error.h *** error.h 22 Mar 2002 13:23:28 -0000 1.1.1.1 --- error.h 22 Mar 2002 21:23:25 -0000 *************** *** 27,53 **** #define _ERROR_H_INCLUDED #include <stdexcept> ! class syntax_error : public logic_error { public: ! syntax_error(const string& what_arg) : logic_error(what_arg) {} }; ! class division_by_zero : public logic_error { public: division_by_zero() : logic_error("") {} }; ! class function_not_defined : public invalid_argument { public: function_not_defined() : invalid_argument("") {} }; ! class wrong_dimensions : public length_error { public: wrong_dimensions() : length_error("") {} }; --- 27,53 ---- #define _ERROR_H_INCLUDED #include <stdexcept> ! class syntax_error : public std::logic_error { public: ! syntax_error(const std::string& what_arg) : logic_error(what_arg) {} }; ! class division_by_zero : public std::logic_error { public: division_by_zero() : logic_error("") {} }; ! class function_not_defined : public std::invalid_argument { public: function_not_defined() : invalid_argument("") {} }; ! class wrong_dimensions : public std::length_error { public: wrong_dimensions() : length_error("") {} };

1 0

Problem with `is_ex_the_function'
by Roberto Bagnara 22 Mar '02

22 Mar '02

Dear all, there is a bug in macro `is_ex_the_function' defined in ginac/function.h. As it is now, the macro only works if the file is included in a context where using declarations are in effect, since a couple of GiNaC:: qualifications are missing. I enclose a patch fixing the problem. All the best 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 diff -ru GiNaC-1.0.7.orig/ginac/function.h GiNaC-1.0.7/ginac/function.h --- GiNaC-1.0.7.orig/ginac/function.h Sun Jan 27 18:39:38 2002 +++ GiNaC-1.0.7/ginac/function.h Fri Mar 22 16:18:43 2002 @@ -416,7 +416,7 @@ } #define is_ex_the_function(OBJ, FUNCNAME) \ - (is_exactly_a<GiNaC::function>(OBJ) && ex_to<GiNaC::function>(OBJ).get_serial() == function_index_##FUNCNAME) + (GiNaC::is_exactly_a<GiNaC::function>(OBJ) && GiNaC::ex_to<GiNaC::function>(OBJ).get_serial() == function_index_##FUNCNAME) } // namespace GiNaC

1 0

Annoying warning (II attempt)
by Roberto Bagnara 22 Mar '02

22 Mar '02

Dear all, there is a warning about an unused parameter due to line 84 in basic.h (GiNaC 1.0.7): virtual void destroy(bool call_parent) { } Having seen the warning two million times I thought it was better to report it ;-) Actually, I reported this problem already on February 2 but it seems I was not very successful. This time I enclose a patch fixing the problem. All the best 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 diff -ru GiNaC-1.0.7.orig/ginac/basic.h GiNaC-1.0.7/ginac/basic.h --- GiNaC-1.0.7.orig/ginac/basic.h Thu Jan 24 23:28:20 2002 +++ GiNaC-1.0.7/ginac/basic.h Fri Mar 22 16:35:07 2002 @@ -81,7 +81,7 @@ tinfo_key = other.tinfo_key; } /** For use by dtor and assignment operator. */ - virtual void destroy(bool call_parent) { } + virtual void destroy(bool /* call_parent */) { } // other ctors /** ctor with specified tinfo_key */

1 0

CVS Update: interval
by Roberto Bagnara 22 Mar '02

22 Mar '02

CVSROOT: /cvs/filib++ Module name: interval Repository: ./ Changes by: roberto(a)spartacus.cs.unipr.it.(none) 02/03/22 17:23:20 interval Update of /cvs/filib++/interval In directory spartacus.cs.unipr.it:/tmp/cvs-serv2772 Log Message: Import of March 15 version. Status: Vendor Tag: WUERZBURG Release Tags: FILIBXX_2_0_3 U interval/doc/tex/manual.pdf U interval/doc/tex/manual.ps U interval/doc/tex/manual2.ps U interval/examples/Makefile U interval/examples/Matrix.h U interval/examples/Vector.h U interval/examples/bisection.cc U interval/examples/comp_exp.cc U interval/examples/comp_sin.cc U interval/examples/example_macro.cpp U interval/examples/example_template.cpp U interval/examples/horner.cc U interval/examples/igauss.h U interval/examples/newton.cc U interval/examples/newton2.cc U interval/examples/simple_example1.cpp U interval/examples/testAD.cc U interval/examples/testADNewton.cc U interval/examples/testGauss.cc U interval/examples/testNewton.cc U interval/examples/xinewton.cc U interval/examples/xinewton.h U interval/examples/xinewton2.cc U interval/examples/xinewton3.cc U interval/examples/xinterval.h U interval/fp_traits/fp_traits.hpp U interval/fp_traits/fp_traits_base_double.icc U interval/fp_traits/fp_traits_base_double_setup.cpp U interval/fp_traits/fp_traits_base_float.icc U interval/fp_traits/fp_traits_base_float_setup.cpp U interval/fp_traits/fp_traits_double.hpp U interval/fp_traits/fp_traits_double_generic_multiplicative.icc U interval/fp_traits/fp_traits_double_generic_native_directed.icc U interval/fp_traits/fp_traits_double_generic_native_onesided_global.icc U interval/fp_traits/fp_traits_double_generic_native_onesided_switched.icc U interval/fp_traits/fp_traits_double_generic_native_switched.icc U interval/fp_traits/fp_traits_double_generic_no_rounding.icc U interval/fp_traits/fp_traits_double_generic_pred_succ_rounding.icc U interval/fp_traits/fp_traits_double_setup.cpp U interval/fp_traits/fp_traits_float.hpp U interval/fp_traits/fp_traits_float_generic_multiplicative.icc U interval/fp_traits/fp_traits_float_generic_native_directed.icc U interval/fp_traits/fp_traits_float_generic_native_onesided_global.icc U interval/fp_traits/fp_traits_float_generic_native_onesided_switched.icc U interval/fp_traits/fp_traits_float_generic_native_switched.icc U interval/fp_traits/fp_traits_float_generic_no_rounding.icc U interval/fp_traits/fp_traits_float_setup.cpp U interval/ieee/primitive.cpp U interval/ieee/primitive.hpp U interval/interval/filib.hpp U interval/interval/interval.hpp U interval/interval/interval.icc U interval/interval/interval_arith.icc U interval/interval/interval_fo.hpp U interval/interval/tools.icc U interval/interval/stdfun/filib_consts.hpp U interval/interval/stdfun/filib_consts.icc U interval/interval/stdfun/filib_tools.icc U interval/interval/stdfun/interval/acos.icc U interval/interval/stdfun/interval/acosh.icc U interval/interval/stdfun/interval/acot.icc U interval/interval/stdfun/interval/acoth.icc U interval/interval/stdfun/interval/asin.icc U interval/interval/stdfun/interval/asinh.icc U interval/interval/stdfun/interval/atan.icc U interval/interval/stdfun/interval/atanh.icc U interval/interval/stdfun/interval/cos.icc U interval/interval/stdfun/interval/cosh.icc U interval/interval/stdfun/interval/cot.icc U interval/interval/stdfun/interval/coth.icc U interval/interval/stdfun/interval/exp.icc U interval/interval/stdfun/interval/exp10.icc U interval/interval/stdfun/interval/exp2.icc U interval/interval/stdfun/interval/expm1.icc U interval/interval/stdfun/interval/log.icc U interval/interval/stdfun/interval/log10.icc U interval/interval/stdfun/interval/log1p.icc U interval/interval/stdfun/interval/log2.icc U interval/interval/stdfun/interval/pow.icc U interval/interval/stdfun/interval/sin.icc U interval/interval/stdfun/interval/sinh.icc U interval/interval/stdfun/interval/sqr.icc U interval/interval/stdfun/interval/sqrt.icc U interval/interval/stdfun/interval/tan.icc U interval/interval/stdfun/interval/tanh.icc U interval/interval/stdfun/point/q_acos.icc U interval/interval/stdfun/point/q_acot.icc U interval/interval/stdfun/point/q_acsh.icc U interval/interval/stdfun/point/q_acth.icc U interval/interval/stdfun/point/q_asin.icc U interval/interval/stdfun/point/q_asnh.icc U interval/interval/stdfun/point/q_atan.icc U interval/interval/stdfun/point/q_atn1.icc U interval/interval/stdfun/point/q_atnh.icc U interval/interval/stdfun/point/q_cos.icc U interval/interval/stdfun/point/q_cos1.icc U interval/interval/stdfun/point/q_cosh.icc U interval/interval/stdfun/point/q_cot.icc U interval/interval/stdfun/point/q_coth.icc U interval/interval/stdfun/point/q_cth1.icc U interval/interval/stdfun/point/q_ep1.icc U interval/interval/stdfun/point/q_epm1.icc U interval/interval/stdfun/point/q_errm.icc U interval/interval/stdfun/point/q_ex10.icc U interval/interval/stdfun/point/q_exp.icc U interval/interval/stdfun/point/q_exp2.icc U interval/interval/stdfun/point/q_expm.icc U interval/interval/stdfun/point/q_lg10.icc U interval/interval/stdfun/point/q_log.icc U interval/interval/stdfun/point/q_log1.icc U interval/interval/stdfun/point/q_log2.icc U interval/interval/stdfun/point/q_rtrg.icc U interval/interval/stdfun/point/q_sin.icc U interval/interval/stdfun/point/q_sin1.icc U interval/interval/stdfun/point/q_sinh.icc U interval/interval/stdfun/point/q_sqr.icc U interval/interval/stdfun/point/q_sqrt.icc U interval/interval/stdfun/point/q_tan.icc U interval/interval/stdfun/point/q_tanh.icc U interval/macro/Makefile U interval/macro/README U interval/macro/TODO U interval/macro/config/LINUXGCC U interval/macro/config/LINUXKCC U interval/macro/config/LINUXREF U interval/macro/config/common.mk U interval/macro/doc/Makefile U interval/macro/doc/README U interval/macro/example/Makefile U interval/macro/example/Matrix.h U interval/macro/example/Vector.h U interval/macro/example/bisection.cc U interval/macro/example/comp_exp.cc U interval/macro/example/comp_sin.cc U interval/macro/example/horner.cc U interval/macro/example/igauss.h U interval/macro/example/newton.cc U interval/macro/example/newton2.cc U interval/macro/example/testAD.cc U interval/macro/example/testADNewton.cc U interval/macro/example/testGauss.cc U interval/macro/example/testNewton.cc U interval/macro/example/xinewton.cc U interval/macro/example/xinewton.h U interval/macro/example/xinewton2.cc U interval/macro/example/xinewton3.cc U interval/macro/example/xinterval.h U interval/macro/include/Interval.h U interval/macro/include/Interval.icc U interval/macro/include/IntvAri.icc U interval/macro/include/config.h U interval/macro/include/global.h U interval/macro/include/ieee.h U interval/macro/include/rounding.h U interval/macro/src/Interval.cc U interval/macro/src/Makefile U interval/macro/src/acos.cc U interval/macro/src/acosh.cc U interval/macro/src/acot.cc U interval/macro/src/acoth.cc U interval/macro/src/asin.cc U interval/macro/src/asinh.cc U interval/macro/src/atan.cc U interval/macro/src/atanh.cc U interval/macro/src/cos.cc U interval/macro/src/cosh.cc U interval/macro/src/cot.cc U interval/macro/src/coth.cc U interval/macro/src/exp.cc U interval/macro/src/exp10.cc U interval/macro/src/exp2.cc U interval/macro/src/expm1.cc U interval/macro/src/ieee.cc U interval/macro/src/log.cc U interval/macro/src/log10.cc U interval/macro/src/log1p.cc U interval/macro/src/log2.cc U interval/macro/src/pow.cc U interval/macro/src/q_acos.cc U interval/macro/src/q_acot.cc U interval/macro/src/q_acsh.cc U interval/macro/src/q_acth.cc U interval/macro/src/q_asin.cc U interval/macro/src/q_asnh.cc U interval/macro/src/q_atan.cc U interval/macro/src/q_atn1.cc U interval/macro/src/q_atnh.cc U interval/macro/src/q_cos.cc U interval/macro/src/q_cos1.cc U interval/macro/src/q_cosh.cc U interval/macro/src/q_cot.cc U interval/macro/src/q_coth.cc U interval/macro/src/q_cth1.cc U interval/macro/src/q_ep1.cc U interval/macro/src/q_epm1.cc U interval/macro/src/q_errm.cc U interval/macro/src/q_ex10.cc U interval/macro/src/q_exp.cc U interval/macro/src/q_exp2.cc U interval/macro/src/q_expm.cc U interval/macro/src/q_glbl.cc U interval/macro/src/q_lg10.cc U interval/macro/src/q_log.cc U interval/macro/src/q_log1.cc U interval/macro/src/q_log2.cc U interval/macro/src/q_rtrg.cc U interval/macro/src/q_sin.cc U interval/macro/src/q_sin1.cc U interval/macro/src/q_sinh.cc U interval/macro/src/q_sqrt.cc U interval/macro/src/q_sqrt.ccc U interval/macro/src/q_tan.cc U interval/macro/src/q_tanh.cc U interval/macro/src/sin.cc U interval/macro/src/sinh.cc U interval/macro/src/sqr.cc U interval/macro/src/sqrt.cc U interval/macro/src/tan.cc U interval/macro/src/tanh.cc U interval/licenses/filib.license U interval/makefiles/Makefile.gcc U interval/makefiles/Makefile.generic U interval/makefiles/Makefile.kcc U interval/makefiles/Makefile.sun U interval/readme/INSTALL U interval/readme/README.switches U interval/rounding_control/rounding_control.hpp U interval/rounding_control/rounding_control_double.hpp U interval/rounding_control/rounding_control_double_asmi386.icc U interval/rounding_control/rounding_control_double_asmsparc.icc U interval/rounding_control/rounding_control_double_freebsd.icc U interval/rounding_control/rounding_control_double_iso9x.icc U interval/rounding_control/rounding_control_double_void.icc U interval/rounding_control/rounding_control_float.hpp U interval/rounding_control/rounding_control_float_asmi386.icc U interval/rounding_control/rounding_control_float_asmsparc.icc U interval/rounding_control/rounding_control_float_freebsd.icc U interval/rounding_control/rounding_control_float_iso9x.icc U interval/rounding_control/rounding_control_float_void.icc U interval/rounding_control/rounding_control_stub.hpp No conflicts created by this import

1 0

Import
by Roberto Bagnara 22 Mar '02

22 Mar '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-03-22 14:23:28 Log message: Import of CoStLy Version 0.2pre1. Status: Vendor Tag: NEHER_EBLE Release Tags: COSTLY_0_2_PRE1 N purrs/CoStLy/COPYING N purrs/CoStLy/README N purrs/CoStLy/cimath.cpp N purrs/CoStLy/cimath.h N purrs/CoStLy/error.h N purrs/CoStLy/cinterval.h N purrs/CoStLy/cinterval.cpp No conflicts created by this import

1 0

purrs/tests recurrences
by Alessandro Zaccagnini 21 Mar '02

21 Mar '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-03-21 12:27:44 Modified files: tests : recurrences Log message: Corrected two misprints (wrong signs in two solutions). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/tests recurrences
by Alessandro Zaccagnini 21 Mar '02

21 Mar '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-03-21 08:51:52 Modified files: tests : recurrences Log message: Added missing '*'. Removed recurrence that occurred twice. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0