2000-01-05 07:06:23 +01:00
|
|
|
--
|
|
|
|
-- POLYGON
|
|
|
|
--
|
|
|
|
-- polygon logic
|
|
|
|
--
|
|
|
|
CREATE TABLE POLYGON_TBL(f1 polygon);
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(2.0,0.0),(2.0,4.0),(0.0,0.0)');
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(3.0,1.0),(3.0,3.0),(1.0,0.0)');
|
2010-11-23 21:27:50 +01:00
|
|
|
-- degenerate polygons
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0,0.0)');
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0,1.0),(0.0,1.0)');
|
2010-11-23 21:27:50 +01:00
|
|
|
-- bad polygon input strings
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('0.0');
|
2003-09-25 08:58:07 +02:00
|
|
|
ERROR: invalid input syntax for type polygon: "0.0"
|
2008-09-01 22:42:46 +02:00
|
|
|
LINE 1: INSERT INTO POLYGON_TBL(f1) VALUES ('0.0');
|
|
|
|
^
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0 0.0');
|
2003-09-25 08:58:07 +02:00
|
|
|
ERROR: invalid input syntax for type polygon: "(0.0 0.0"
|
2008-09-01 22:42:46 +02:00
|
|
|
LINE 1: INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0 0.0');
|
|
|
|
^
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2)');
|
2003-09-25 08:58:07 +02:00
|
|
|
ERROR: invalid input syntax for type polygon: "(0,1,2)"
|
2008-09-01 22:42:46 +02:00
|
|
|
LINE 1: INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2)');
|
|
|
|
^
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2,3');
|
2003-09-25 08:58:07 +02:00
|
|
|
ERROR: invalid input syntax for type polygon: "(0,1,2,3"
|
2008-09-01 22:42:46 +02:00
|
|
|
LINE 1: INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2,3');
|
|
|
|
^
|
2000-01-05 07:06:23 +01:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('asdf');
|
2003-09-25 08:58:07 +02:00
|
|
|
ERROR: invalid input syntax for type polygon: "asdf"
|
2008-09-01 22:42:46 +02:00
|
|
|
LINE 1: INSERT INTO POLYGON_TBL(f1) VALUES ('asdf');
|
|
|
|
^
|
2005-04-07 03:51:41 +02:00
|
|
|
SELECT '' AS four, * FROM POLYGON_TBL;
|
2000-01-05 07:06:23 +01:00
|
|
|
four | f1
|
|
|
|
------+---------------------
|
|
|
|
| ((2,0),(2,4),(0,0))
|
|
|
|
| ((3,1),(3,3),(1,0))
|
|
|
|
| ((0,0))
|
|
|
|
| ((0,1),(0,1))
|
1997-04-05 13:24:54 +02:00
|
|
|
(4 rows)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- overlap
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT '' AS three, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:29:51 +02:00
|
|
|
WHERE p.f1 && '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
three | f1
|
|
|
|
-------+---------------------
|
|
|
|
| ((2,0),(2,4),(0,0))
|
|
|
|
| ((3,1),(3,3),(1,0))
|
1997-04-27 04:58:38 +02:00
|
|
|
(2 rows)
|
1997-04-05 13:24:54 +02:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- left overlap
|
|
|
|
SELECT '' AS four, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:29:51 +02:00
|
|
|
WHERE p.f1 &< '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
four | f1
|
|
|
|
------+---------------------
|
|
|
|
| ((2,0),(2,4),(0,0))
|
|
|
|
| ((3,1),(3,3),(1,0))
|
|
|
|
| ((0,0))
|
|
|
|
| ((0,1),(0,1))
|
1997-04-05 13:24:54 +02:00
|
|
|
(4 rows)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- right overlap
|
|
|
|
SELECT '' AS two, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:29:51 +02:00
|
|
|
WHERE p.f1 &> '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
two | f1
|
|
|
|
-----+---------------------
|
|
|
|
| ((3,1),(3,3),(1,0))
|
2005-06-24 22:53:34 +02:00
|
|
|
(1 row)
|
1997-04-05 13:24:54 +02:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- left of
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT '' AS one, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:29:51 +02:00
|
|
|
WHERE p.f1 << '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
one | f1
|
|
|
|
-----+---------------
|
|
|
|
| ((0,0))
|
|
|
|
| ((0,1),(0,1))
|
1997-04-27 04:58:38 +02:00
|
|
|
(2 rows)
|
1997-04-05 13:24:54 +02:00
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- right of
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT '' AS zero, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:29:51 +02:00
|
|
|
WHERE p.f1 >> '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
zero | f1
|
|
|
|
------+----
|
1997-04-05 13:24:54 +02:00
|
|
|
(0 rows)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- contained
|
|
|
|
SELECT '' AS one, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
2006-09-10 02:29:35 +02:00
|
|
|
WHERE p.f1 <@ polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
one | f1
|
|
|
|
-----+---------------------
|
|
|
|
| ((3,1),(3,3),(1,0))
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- same
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT '' AS one, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
2000-01-05 07:06:23 +01:00
|
|
|
WHERE p.f1 ~= polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
|
|
|
one | f1
|
|
|
|
-----+---------------------
|
|
|
|
| ((3,1),(3,3),(1,0))
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- contains
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT '' AS one, p.*
|
1997-04-05 13:24:54 +02:00
|
|
|
FROM POLYGON_TBL p
|
2006-09-10 02:29:35 +02:00
|
|
|
WHERE p.f1 @> polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
2000-01-05 07:06:23 +01:00
|
|
|
one | f1
|
|
|
|
-----+---------------------
|
|
|
|
| ((3,1),(3,3),(1,0))
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2000-01-05 07:06:23 +01:00
|
|
|
--
|
|
|
|
-- polygon logic
|
|
|
|
--
|
2010-11-23 21:27:50 +01:00
|
|
|
-- left of
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' << polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- left overlap
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' << polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS true;
|
|
|
|
true
|
|
|
|
------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- right overlap
|
2005-06-24 22:53:34 +02:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' &> polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- right of
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' >> polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- contained in
|
2006-09-10 02:29:35 +02:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' <@ polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
2000-01-05 07:06:23 +01:00
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- contains
|
2006-09-10 02:29:35 +02:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' @> polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
2000-01-05 07:06:23 +01:00
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2009-07-28 11:48:00 +02:00
|
|
|
SELECT '((0,4),(6,4),(1,2),(6,0),(0,0))'::polygon @> '((2,1),(2,3),(3,3),(3,1))'::polygon AS "false";
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT '((0,4),(6,4),(3,2),(6,0),(0,0))'::polygon @> '((2,1),(2,3),(3,3),(3,1))'::polygon AS "true";
|
|
|
|
true
|
|
|
|
------
|
|
|
|
t
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT '((1,1),(1,4),(5,4),(5,3),(2,3),(2,2),(5,2),(5,1))'::polygon @> '((3,2),(3,3),(4,3),(4,2))'::polygon AS "false";
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT '((0,0),(0,3),(3,3),(3,0))'::polygon @> '((2,1),(2,2),(3,2),(3,1))'::polygon AS "true";
|
|
|
|
true
|
|
|
|
------
|
|
|
|
t
|
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- same
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' ~= polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS false;
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2010-11-23 21:27:50 +01:00
|
|
|
-- overlap
|
2000-01-05 07:06:23 +01:00
|
|
|
SELECT polygon '(2.0,0.0),(2.0,4.0),(0.0,0.0)' && polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)' AS true;
|
|
|
|
true
|
|
|
|
------
|
|
|
|
t
|
1997-04-05 13:24:54 +02:00
|
|
|
(1 row)
|
|
|
|
|
2009-07-28 11:48:00 +02:00
|
|
|
SELECT '((0,4),(6,4),(1,2),(6,0),(0,0))'::polygon && '((2,1),(2,3),(3,3),(3,1))'::polygon AS "true";
|
|
|
|
true
|
|
|
|
------
|
|
|
|
t
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT '((1,4),(1,1),(4,1),(4,2),(2,2),(2,4),(1,4))'::polygon && '((3,3),(4,3),(4,4),(3,4),(3,3))'::polygon AS "false";
|
|
|
|
false
|
|
|
|
-------
|
|
|
|
f
|
|
|
|
(1 row)
|
|
|
|
|
|
|
|
SELECT '((200,800),(800,800),(800,200),(200,200))' && '(1000,1000,0,0)'::polygon AS "true";
|
|
|
|
true
|
|
|
|
------
|
|
|
|
t
|
|
|
|
(1 row)
|
|
|
|
|
2014-12-15 16:02:49 +01:00
|
|
|
-- distance from a point
|
|
|
|
SELECT '(0,0)'::point <-> '((0,0),(1,2),(2,1))'::polygon as on_corner,
|
|
|
|
'(1,1)'::point <-> '((0,0),(2,2),(1,3))'::polygon as on_segment,
|
|
|
|
'(2,2)'::point <-> '((0,0),(1,4),(3,1))'::polygon as inside,
|
|
|
|
'(3,3)'::point <-> '((0,2),(2,0),(2,2))'::polygon as near_corner,
|
|
|
|
'(4,4)'::point <-> '((0,0),(0,3),(4,0))'::polygon as near_segment;
|
|
|
|
on_corner | on_segment | inside | near_corner | near_segment
|
|
|
|
-----------+------------+--------+-----------------+--------------
|
|
|
|
0 | 0 | 0 | 1.4142135623731 | 3.2
|
|
|
|
(1 row)
|
|
|
|
|