[PostGIS] #5726: Cases where ST_Overlaps(ST_Difference(a, b), b) = TRUE

[PostGIS]

#5726: Cases where ST_Overlaps(ST_Difference(a,b),b) = TRUE
-------------------------+---------------------------
  Reporter:  dannytoone  |      Owner:  pramsey
      Type:  defect      |     Status:  new
  Priority:  medium      |  Milestone:  PostGIS 3.4.3
 Component:  postgis     |    Version:  3.4.x
Resolution:              |   Keywords:
-------------------------+---------------------------
Comment (by mdavis):

 This can be due to these things:

 - (most likely) The results of overlay operations (such a difference) are
 subject to numerical rounding, which means that the results might not
 exactly match the input linework. This can cause spatial predicates to be
 inconsistent with expected results

 - (very rare) a bug in the overlay algorithm sometimes causes outputs to
 be very different from what is expected.  This would show up as a large
 difference in area from the expected value.
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5726#comment:1>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.