2000-01-05 07:07:58 +01:00
|
|
|
--
|
|
|
|
-- POLYGON
|
1997-04-05 13:26:55 +02:00
|
|
|
--
|
|
|
|
-- polygon logic
|
|
|
|
--
|
|
|
|
-- 3 o
|
|
|
|
-- |
|
|
|
|
-- 2 + |
|
|
|
|
-- / |
|
|
|
|
-- 1 # o +
|
|
|
|
-- / |
|
|
|
|
-- 0 #-----o-+
|
|
|
|
--
|
|
|
|
-- 0 1 2 3 4
|
|
|
|
--
|
|
|
|
|
|
|
|
CREATE TABLE POLYGON_TBL(f1 polygon);
|
|
|
|
|
|
|
|
|
1997-06-03 16:24:12 +02:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(2.0,0.0),(2.0,4.0),(0.0,0.0)');
|
1997-04-05 13:26:55 +02:00
|
|
|
|
1997-06-03 16:24:12 +02:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(3.0,1.0),(3.0,3.0),(1.0,0.0)');
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- degenerate polygons
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0,0.0)');
|
|
|
|
|
1997-06-03 16:24:12 +02:00
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0,1.0),(0.0,1.0)');
|
|
|
|
|
1997-04-05 13:26:55 +02:00
|
|
|
-- bad polygon input strings
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('0.0');
|
|
|
|
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0.0 0.0');
|
|
|
|
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2)');
|
|
|
|
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('(0,1,2,3');
|
|
|
|
|
|
|
|
INSERT INTO POLYGON_TBL(f1) VALUES ('asdf');
|
|
|
|
|
|
|
|
|
|
|
|
SELECT '' AS four, POLYGON_TBL.*;
|
|
|
|
|
|
|
|
-- overlap
|
|
|
|
SELECT '' AS three, p.*
|
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:24:12 +02:00
|
|
|
WHERE p.f1 && '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- left overlap
|
|
|
|
SELECT '' AS four, p.*
|
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:24:12 +02:00
|
|
|
WHERE p.f1 &< '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- right overlap
|
|
|
|
SELECT '' AS two, p.*
|
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:24:12 +02:00
|
|
|
WHERE p.f1 &> '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- left of
|
|
|
|
SELECT '' AS one, p.*
|
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:24:12 +02:00
|
|
|
WHERE p.f1 << '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- right of
|
|
|
|
SELECT '' AS zero, p.*
|
|
|
|
FROM POLYGON_TBL p
|
1997-06-03 16:24:12 +02:00
|
|
|
WHERE p.f1 >> '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- contained
|
|
|
|
SELECT '' AS one, p.*
|
|
|
|
FROM POLYGON_TBL p
|
2000-01-05 07:07:58 +01:00
|
|
|
WHERE p.f1 @ polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- same
|
|
|
|
SELECT '' AS one, p.*
|
|
|
|
FROM POLYGON_TBL p
|
2000-01-05 07:07:58 +01:00
|
|
|
WHERE p.f1 ~= polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- contains
|
|
|
|
SELECT '' AS one, p.*
|
|
|
|
FROM POLYGON_TBL p
|
2000-01-05 07:07:58 +01:00
|
|
|
WHERE p.f1 ~ polygon '(3.0,1.0),(3.0,3.0),(1.0,0.0)';
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
--
|
|
|
|
-- polygon logic
|
|
|
|
--
|
|
|
|
-- 3 o
|
|
|
|
-- |
|
|
|
|
-- 2 + |
|
|
|
|
-- / |
|
|
|
|
-- 1 / o +
|
|
|
|
-- / |
|
|
|
|
-- 0 +-----o-+
|
|
|
|
--
|
|
|
|
-- 0 1 2 3 4
|
|
|
|
--
|
|
|
|
-- left of
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- left overlap
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- right overlap
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- right of
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- contained in
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- contains
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- same
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|
|
|
|
-- overlap
|
2000-01-05 07:07:58 +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;
|
1997-04-05 13:26:55 +02:00
|
|
|
|