From ecf01b585019d33a865fb1ee29a9548e1f1dfa19 Mon Sep 17 00:00:00 2001
From: Daniel Russel <drussel@gmail.com>
Date: Mon, 13 Mar 2006 12:44:10 +0000
Subject: [PATCH] moved off of CORE

---
 .../include/CGAL/Kinetic/Simulation_traits.h         | 12 ++++++------
 .../CGAL/Polynomial/internal/Double_with_infinity.h  |  4 ++++
 2 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h b/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
index 43963084ecc..89f988510ae 100644
--- a/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
+++ b/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
@@ -82,18 +82,18 @@ protected:
 
 struct Suggested_exact_simulation_traits_types
 {
-  /* typedef CGAL::Simple_cartesian<CGAL::Gmpq> Static_kernel;
+   typedef CGAL::Simple_cartesian<CGAL::Gmpq> Static_kernel;
      typedef Static_kernel::FT NT;
-     typedef CGAL::POLYNOMIAL::Polynomial<NT> Function;*/
+     typedef CGAL::POLYNOMIAL::Polynomial<NT> Function;
   //typedef CGAL::POLYNOMIAL::Upper_bound_root_stack_Descartes_traits<Function> Root_stack_traits;
   //typedef CGAL::POLYNOMIAL::Upper_bound_root_stack<Root_stack_traits> Root_stack;
-  /*typedef CGAL::POLYNOMIAL::Sturm_root_stack_traits<Function> Root_stack_traits;
+  typedef CGAL::POLYNOMIAL::Sturm_root_stack_traits<Function> Root_stack_traits;
     typedef CGAL::POLYNOMIAL::Sturm_root_stack<Root_stack_traits> Root_stack;
-    typedef CGAL::POLYNOMIAL::Kernel<Function, Root_stack> Function_kernel;*/
+    typedef CGAL::POLYNOMIAL::Kernel<Function, Root_stack> Function_kernel;
 
-  typedef CGAL::Simple_cartesian<CORE::Expr> Static_kernel;
+  /*typedef CGAL::Simple_cartesian<CORE::Expr> Static_kernel;
   typedef Static_kernel::FT NT;
-  typedef CGAL::POLYNOMIAL::CORE_kernel Function_kernel;
+  typedef CGAL::POLYNOMIAL::CORE_kernel Function_kernel;*/
 
   struct Simulator_function_kernel: public CGAL::Kinetic::Handle_degeneracy_function_kernel<Function_kernel> {};
   typedef CGAL::Kinetic::Cartesian_kinetic_kernel<Simulator_function_kernel> Kinetic_kernel;
diff --git a/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h b/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
index e027843e20d..0480636bb3e 100644
--- a/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
+++ b/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
@@ -58,6 +58,10 @@ struct Double_with_infinity {
   bool is_even_multiplicity() const {
     return false;
   }
+
+  std::pair<double, double> isolating_interval() const {
+    return std::make_pair(d_, d_);
+  }
   
 protected:
   double d_;