[postgis-tickets] [SCM] PostGIS branch master updated. 3.3.0rc2-1178-g646781e12

[git at osgeo.org]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "PostGIS".

The branch, master has been updated
       via  646781e1260a164f8eedbf201100c0f9d24742f4 (commit)
      from  43880f9abf66d9d5c17f8374a4c6de781fe76a72 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 646781e1260a164f8eedbf201100c0f9d24742f4
Author: Martin Davis <mtnclimb at gmail.com>
Date:   Fri Jul 7 15:22:35 2023 -0700

    Add doc spatial predicate math definitions

diff --git a/doc/reference_relationship.xml b/doc/reference_relationship.xml
index d26c9ad3d..852535ed4 100644
--- a/doc/reference_relationship.xml
+++ b/doc/reference_relationship.xml
@@ -103,6 +103,9 @@
     and the interiors of A and B have at least one point in common.
     </para>
 
+    <para>In mathematical terms:
+    <emphasis>ST_Contains(A, B) ⇔ (A ⋂ B = B) ∧ (Int(A) ⋂ Int(B) ≠ ∅) </emphasis></para>
+
     <para>The contains relationship is reflexive: every geometry contains itself.
     (In contrast, in the <xref linkend="ST_ContainsProperly" />
     predicate a geometry does <emphasis>not</emphasis> properly contain itself.)
@@ -320,12 +323,16 @@ ST_Point      | t          | t              | f           | f
     <refsection>
     <title>Description</title>
 
-    <para>Returns <varname>true</varname> if every point of B lies inside A
+    <para>Returns <varname>true</varname> if every point of B lies in the interior of A
     (or equivalently, no point of B lies in the the boundary or exterior of A).</para>
 
+    <para>In mathematical terms:
+    <emphasis>ST_ContainsProperly(A, B) ⇔ Int(A) ⋂ B = B </emphasis></para>
+
+    <para>A contains B properly if the DE-9IM Intersection Matrix for the two geometries matches
+   [T**FF*FF*]</para>
+
     <para>A does not properly contain itself, but does contain itself.</para>
-    <para>Every point of the other geometry is a point of this geometry's interior. The DE-9IM Intersection Matrix for the two geometries matches
-   [T**FF*FF*] used in <xref linkend="ST_Relate" /></para>
 
     <para>
     A use for this predicate is computing the intersections of a set of geometries with a large polygonal geometry. Since intersection is a fairly slow operation, it can be more efficient to use containsProperly to filter out test geometries which lie

-----------------------------------------------------------------------

Summary of changes:
 doc/reference_relationship.xml | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
PostGIS