Various bugs in relational operations (spatial predicates)

[awulkiew]

1. Assertion failure in relate(L,A) for invalid polygon containing spike.

   "LINESTRING(6 3,9 0)"
   "POLYGON((0 0,5 8,6 1,6 3,8 1,5 4,9 6,2 5,7 4,1 7,0 0))"
   

2. Invalid result of relate(L,A), the second Ls is not handled properly.

   "MULTILINESTRING((6 6,15 15),(0 0, 7 7))"
   "POLYGON((5 5,5 15,15 15,15 5,5 5))"
   

3. Invalid result of relate(L,MPoly) because it assumes that a single u/u for an Areal ring means that the Linear geometry is in the exterior of Areal.

   "LINESTRING(5 5,0 0,10 0)"
   "MULTIPOLYGON(((0 0,0 10,10 10,10 0,0 0)),((0 0,0 -10,-10 -10,-10 0,0 0)))"
   

4. Invalid result of relate(A,MPoly), similar to the above.

   "MULTIPOLYGON(((0 0,0 10,10 10,10 0,0 0)),((0 0,0 -10,-10 -10,-10 0,0 0)))"
   "POLYGON((0 0,0 5,5 5,5 0,0 0))"
   

5. Invalid result of relate(MLs,A), second entering linestring not handled properly.

   "MULTILINESTRING((4 10, 3 10, 10 6),(5 0, 7 5, 9 10))"
   "POLYGON((0 0,0 10,10 10,10 0,5 5,0 0))"
   

6. Invalid result of relate(Ls,MLs) for a collinear spike contained in one Ls of a MLs and touching the other one (blocking turn detected as exit).

   "LINESTRING(1 1, 5 5, 4 4)"
   "MULTILINESTRING((2 5, 7 5, 8 3, 6 3, 4 0),(0 0,10 10))"
   

[awulkiew]

Fixes:

1. ​https://github.com/boostorg/geometry/commit/d642e3b733459184a75dbf2ce5009192c02f2e44
2. ​https://github.com/boostorg/geometry/commit/c34a8aceb9143009d92aa896d9628d9852a57f48
3. ​https://github.com/boostorg/geometry/commit/ed87f465e293200fcbb79dee7f6a5e0201c108c5
4. ​https://github.com/boostorg/geometry/commit/f30691be502b52034bd55e18779da4383d2581ae
5. ​https://github.com/boostorg/geometry/commit/2ac11443fa206dfda7102a8208e8ea5bb161c3ac
6. ​https://github.com/boostorg/geometry/commit/6665fb7bf6990361534a35d65eacbe1535dc930d