CGAL users discussion list

[ax487 <>]

Hello all,

I am currently working with the
Exact_predicates_inexact_constructions_kernel provided by CGAL 4.2. I am
however unsure which of the following functions are actually geometric
predicates and therefore evaluated exactly:

- The output of the do_intersect function for a pair of objects each of
which may be either a Ray_2, a Segment_2 or a Line_2.
- The output of the orientation function: I would imagine that I can
rely upon LEFT_TURN/RIGHT_TURN, but I believe that verifying whether
three points are collinear is unlikely to ever work correctly using
anything other than rational arithmetic.
- The output of the bounded_side_2 for convex/simple/not simple
polygons, specifically in the case of the result being ON_BOUNDARY

Could you quickly explain to me which of these functions evaluate
correctly using the kernel above?

ax487