Incorrect tetra-tri intersection

[sloriot]

Code to reproduce the issue:

#include <CGAL/Exact_predicates_exact_constructions_kernel.h>

typedef CGAL::Exact_predicates_exact_constructions_kernel K;
typedef K::Point_3 Point_3;
typedef K::Triangle_3 Triangle_3;
typedef K::Tetrahedron_3 Tetrahedron_3;

int main()
{
  Triangle_3 tri(Point_3(0.191630, -0.331630, -0.370000),
                 Point_3(-0.124185, -0.385815, -0.185000),
                 Point_3(-0.0700000, -0.0700000, 0.00000));

  Tetrahedron_3 tet(Point_3(0, -1, 0),
                    Point_3(-1, 0, 0),
                    Point_3(0, 0, 0),
                    Point_3(0, 0, -1));


  auto res = CGAL::intersection(tri,tet);

  assert(res != boost::none);
  const std::vector<Point_3> *vps =
                  boost::get<std::vector<Point_3>>(&*res);
  assert(vps!=nullptr);
}

Extracted from that thread on cgal-discuss

[sloriot]

@fdrmrc https://github.com/CGAL/cgal/pull/6779 fixed the issue for me. Could you give it a try and let us know?

[fdrmrc]

I confirm that this patch fixes my issue! Thanks a lot @sloriot

[lrineau]

Fixed by the merge of https://github.com/CGAL/cgal/pull/6779.