[PostGIS] #5886: snapping edge 1 to new node moves it past edge 2

[PostGIS]

#5886: snapping edge 1 to new node moves it past edge 2
-----------------------+---------------------------
  Reporter:  strk      |      Owner:  strk
      Type:  defect    |     Status:  new
  Priority:  medium    |  Milestone:  PostGIS 3.6.0
 Component:  topology  |    Version:  3.5.x
Resolution:            |   Keywords:  robustness
-----------------------+---------------------------
Comment (by strk):

 Now that we have `ValidateTopologyPrecision` this may be an interesting
 information:

 {{{
 =# select ST_AsEWKT(g) FROM validateTopologyPrecision('topo', gridSize =>
 1e-15) g;
 ERROR:  Presence of max ordinate value 70.70516204833984 requires a
 minimum grid size of 2.54538583374023e-13
 }}}

 And this is interesting because we have distances below that value!
 {{{
 =# select n, ST_Distance(e1.geom, ST_PointN(e2.geom, n))
    from topo.edge e1, topo.edge e2, generate_series(2,3) n
    where e1.edge_id = 1 and e2.edge_id = 2;
  n |      st_distance
 ---+------------------------
  2 |  4.855711461806118e-16
  3 | 2.8243441995579915e-15
 (2 rows)
 }}}
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5886#comment:3>
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.