-
Notifications
You must be signed in to change notification settings - Fork 1.5k
Description
This is more a feature request / question; let me know if this is the wrong place.
I use CGAL's Arr_conic_traits_2 to compute intersections between conics. However, this is slow, what I expect is due to the algebraic number computations. In my application, an approximate intersection is sufficient, so I would like to not use an exact Algebraic kernel, but instead simply doubles, for example. With other geometric objects I can easily switch from Epeck to the Epick kernel. Is it possible to do something similar here? I'm assuming this is currently not supported, as the documentation (of the Arrangement package) states:
The RatKernel template parameter must be substituted by a geometric kernel whose field type is an exact rational type.
and
The AlgKernel template parameter must be substituted by a geometric kernel whose field type is an exact algebraic type.
Thus, in my code I use the following kernels as given in the documentation.
using Nt_traits = CGAL::CORE_algebraic_number_traits;
using Rational = Nt_traits::Rational;
using Rat_kernel = CGAL::Cartesian<Rational>;
using Algebraic = Nt_traits::Algebraic;
using Alg_kernel = CGAL::Cartesian<Algebraic>;
using Traits = CGAL::Arr_conic_traits_2<Rat_kernel, Alg_kernel, Nt_traits>;