Skip to Content.
Sympa Menu

cgal-discuss - Re: [cgal-discuss] Infinite loop in PMP::corefine_and_compute_union since 4.14.2

Subject: CGAL users discussion list

List archive

Re: [cgal-discuss] Infinite loop in PMP::corefine_and_compute_union since 4.14.2


Chronological Thread 
  • From: Giles Puckett <>
  • To:
  • Subject: Re: [cgal-discuss] Infinite loop in PMP::corefine_and_compute_union since 4.14.2
  • Date: Tue, 9 Jun 2020 16:24:52 +1000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-phdr: 9a23:wKUgCRavbXxZWMC9ZRl76XL/LSx+4OfEezUN459isYplN5qZrsiybnLW6fgltlLVR4KTs6sC17OL9fm9AidQv96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLBi6txjdu8kYjIdtKas8ywbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDE+7W/Xl9dwjLpFrx29uxxxzYnUYISPO/p/eKPWYNcWSGVFU8pUUSFKH4GyYJYVD+cZIOhWsYf9qVsNoxWwCwajC+HgxSNHiHLtwa030f4sHR3a0AEuHd8DtmnfotXvNKcVVOC41KjGzTTHb/xIwjf29ZLGcg09rvGPQ71wbdbRwlQoGgPKj1WQrZLqPyiN1ukWsmib7uxgWvyzi2I9rQF+vCSvyt02hYnUn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyUOZZ6T8IiTmx2pCs3y7MIt5G1cSUEx5kqxBHSZuGFfoWG/h/tVOafLDR3iX9kZr6zmgi+/EqvxODiUsS5zlRHoyxYmdfCsXAN0gbc6smBSvZl40ihwzGP1xjI5eFDLkE4j7bUK5kkwrM2i5EdslzDEzfolEnqgqKabEUp9+yy5+j6eLnqu5+ROo9shg3jLKgjldazDfk3PwUKRWSX5OCx2b358UHkRLhHjPs7mbTDvp/AP8QUvKu5DhdV0ok97xa/CC+r0NUEknkfNV5FfwmHgJPwN1HPOvD4CvG/glS1nDds2vDGIqPtDo/TIXnMjLfuY6x960hGxwo319xf5pNUCrcfL/LvQEPxssLXDgMjPwOu3ubrENR91oUAVmKTGqKVLr/evFGS6u8vJ+SAfpIZtCzgJ/Ul5/PilXo5lkUcfamt05sXcne4HvF+LkWWYHrshskOEXwSvgclTezqiVuCXiBPZ3qoWaIz+C07BJi8AofeXoytmqCO3D+nHp1KYWBLEkyDEXjyeIWAQvsDdSOSItR9nTwZTrihUJQs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M8PI2G6ESyR4n3gDWiQt9KF5u010jFmZgoZihPkNOt1X6ugBahoxNpPA06QuBNH2VxnZVtaITlu6BNOrHXc4U4RikJc1f09hFoD63Vj41C2wDupJxuXaVqxxybrV2j3KH+g4zn/H0Kc7iFx/HplONGurmuh5+hSVDpObyhzFxZbvTrwV2Wv2zEnG1XCH5R0KUQ92XLmDW30DIELL/4yguxHyCoS2ALFiCTNvjM6PLqwWMI/ohk0DQ+zpfdXEZGSg3mCtGUzOy6OQYZDscmFb3STbBVRClQ0Pu3+bZ1Az

Thank you for the insight. It was a loss of precision problem this end - coordinate transformations have pulled the two boxes apart slightly, most likely - if I take more care with precision they stay together and the problem goes away. Longer term solution for robustness may be to make sure they penetrate each other by a small epsilon.

Merci,

G.

On 8/06/2020 11:51 pm, "Sebastien Loriot (GeometryFactory)" ( via cgal-discuss Mailing List) wrote:
If the output of the union is non-manifold and the function is returning
false to indicate it.
The two boxes are sharing only an edge so the union will be non-manifold
and cannot be represented in a halfedge data structure (without creating self-intersections).

There is some on-going work to handle those operations with self-intersections but nothing is publicly available for now.

Best regards,

Sebastien.




On 6/8/20 11:40 AM, Giles Puckett wrote:
Hello all,

I have caught PMP (CGAL 5.0) failing to do a corefinement and union, after creating meshes out of simple shapes (cylinders and rect prisms). No self-intersection exception is thrown.

I have reproduced the problem by writing OFF files in double precision. A test program and files are here:

https://www.dropbox.com/sh/7sv3p0yxomsjrxn/AAC_xP_HH9EoMFajZSpK4m71a?dl=0

I built on Windows 10 using Visual Studio 2019 (tool set 1.42). The source is a modification of one of the PMP examples and it builds under that environment. CGAL is at 5.0. Let me know if you want me to raise an issue.

G.







Archive powered by MHonArc 2.6.19+.

Top of Page