<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#ffffff">
    <br>
    <br>
    On 11/17/10 12:10, strk wrote:
    <blockquote cite="mid:20101117111019.GB92020@keybit.net" type="cite">
      <pre wrap="">On Wed, Nov 17, 2010 at 11:40:41AM +0100, Jan Hartmann wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">Perhaps this is the wrong list to ask, but I just read Martin Davis' column:

<a class="moz-txt-link-freetext" href="http://lin-ear-th-inking.blogspot.com/2010/08/magnifying-topology-using-jts.html">http://lin-ear-th-inking.blogspot.com/2010/08/magnifying-topology-using-jts.html</a>

It's a tool for the Java Topology Suite (JTS) to discover small 
topological errors in a vector map. It solves a problem that I have 
suffered from during my whole GIS career: getting correct input maps. 
How difficult would it be to implement this in GEOS, and, possibly, to 
build a hook for it in PostGIS?
</pre>
      </blockquote>
      <pre wrap="">
The code seems to be only in TestBuilder, not in core JTS libs.
Are you sure you want it in PostGIS, btw ? As it really sounds to me
as something you'd want to compute _temporary_ visualizations for
human consumption (no analitical computations).
<font face="Times New Roman, Times, serif">
</font></pre>
    </blockquote>
    <font face="Times New Roman, Times, serif">Good point. It's a
      visualizing tool, so its main use would be in tools like QGIS and
      OpenJump. I wonder though whether it would make sense to build an
      analytical tool in PostGIS to discover small topology errors,
      based on Martin's code. Perhaps something like that is already
      under development in the topology code. I'm just looking for
      something that can easily clean up this kind of error in vector
      maps, IMHO one of  the most common and most difficult errors to
      find and correct. Just thinking out loud. <br>
      <br>
      Jan</font><br>
    <br>
    <br>
  </body>
</html>