Sébastien Loriot c8b96139c6 *GMP_arithmetic_kernel now always define Integer and Rational even when Gmpfi ... is not available. *Add default empty struct for Get_arithmetic_kernel. That way we can test if a specialization is avaible. I used it for the default case of Root_of_traits. When a number type not known by CGAL is used to instanciate Root_of_traits, the field type used to instanciate Sqrt_extension is made using Quotient. *Patch of Lazy_exact_nt constructor from another Lazy_exact_nt type. In revision 61559, that constructor was retricted to the case the exact type is implicitely constructed from the other exact type. Now the old behavior is back but only if it is explicitely called (patch from Marc Glisse). *Update To_double specialization of Sqrt_extension to use the same formula than To_interval so that the double value is contained in the interval. *update root_of_2 test-suite to use Sqrt_extension and that they behave similarly		2011-05-04 07:32:31 +00:00
..
Arithmetic_kernel	Add missing svn properties (keywords and eol-style).	2010-09-20 12:12:46 +00:00
OLD	Fix all svn:keywords in */include/	2010-10-04 11:00:27 +00:00
Arithmetic_kernel.h	the lib now compiles.	2011-04-28 16:44:00 +00:00
CORE_arithmetic_kernel.h	Fix all svn:keywords in */include/	2010-10-04 11:00:27 +00:00
GMP_arithmetic_kernel.h	*GMP_arithmetic_kernel now always define Integer and Rational even when Gmpfi	2011-05-04 07:32:31 +00:00
Get_arithmetic_kernel.h	*GMP_arithmetic_kernel now always define Integer and Rational even when Gmpfi	2011-05-04 07:32:31 +00:00
LEDA_arithmetic_kernel.h	Fix all svn:keywords in */include/	2010-10-04 11:00:27 +00:00
MP_Float_arithmetic_kernel.h	the lib now compiles.	2011-04-28 16:44:00 +00:00