[PostGIS] #5862: TopoGeo_add* silently corrupt topology: edge crosses edge, mixed face labeling in ring

[PostGIS]

#5862: TopoGeo_add* silently corrupt topology: edge crosses edge, mixed face
labeling in ring
--------------------------------+------------------------
  Reporter:  Lars Aksel Opsahl  |      Owner:  strk
      Type:  defect             |     Status:  new
  Priority:  high               |  Milestone:
 Component:  topology           |    Version:  master
Resolution:                     |   Keywords:  robustness
--------------------------------+------------------------
Comment (by strk):

 I'm experimenting with using the GEOS 3.9 Precision overlay operations.

 Looks promising in that it would (at least in this case) avoid ending up
 with the initial state of having those internal vertices of edge2 so close
 to edge1 segment.

 Current master branch of PostGIS still only requires 3.8 so we'd have a
 mix of behaviors if we rely on that, but the advantages might out weight
 the disadvantages.

 WIP PR for that: https://git.osgeo.org/gitea/postgis/postgis/pulls/243

 Still we should probably run some checks to avoid creating invalid
 topologies as the biggest priority.
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5862#comment:12>
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.