Re: [sage-devel] incorrect intersection between parallel but non-intersecting polygons

2020-08-09 Thread Samuel Lelievre
Thanks Noah for the report here and at - Ask Sage question 52910: Unexpected intersection between parallel polygons https://ask.sagemath.org/question/52910 Thanks Vincent for opening a ticket! -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

Re: [sage-devel] incorrect intersection between parallel but non-intersecting polygons

2020-08-08 Thread Vincent Delecroix
Hello, This is definitely a bug. Thanks for the report. I opened the ticket #30319 to track the issue, see https://trac.sagemath.org/ticket/30319 Note that if you use rational coordinates, it looks fine. With a = Polyhedron([[0, -1, 1], [1, -1, 1], [1, 1, -1]]) b = Polyhedron([[0, -1/2, 3/

[sage-devel] incorrect intersection between parallel but non-intersecting polygons

2020-08-08 Thread Noah Toyonaga
Hello, I have found that sage finds a non-zero intersection between polygons when they are parallel but non-intersecting. A reproducible example: ``` # Define parallel polygons. a = Polyhedron([[0, -1, 1], [1, -1, 1], [1, 1, -1]]) b = Polyhedron([[0.0, -0.5, 1.5], [1.0, -0.5, 1.5], [1.0, 1.5, -0.