e_intersect.c 24 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091
  1. /*!
  2. \file e_intersect.c
  3. \brief Vector library - intersection (lower level functions)
  4. Higher level functions for reading/writing/manipulating vectors.
  5. (C) 2008-2009 by the GRASS Development Team
  6. This program is free software under the GNU General Public License
  7. (>=v2). Read the file COPYING that comes with GRASS for details.
  8. \author Rewritten by Rosen Matev (Google Summer of Code 2008)
  9. */
  10. #include <stdlib.h>
  11. #include <math.h>
  12. #include <grass/gis.h>
  13. #include "e_intersect.h"
  14. #define SWAP(a,b) {t = a; a = b; b = t;}
  15. #ifndef MIN
  16. #define MIN(X,Y) ((X<Y)?X:Y)
  17. #endif
  18. #ifndef MAX
  19. #define MAX(X,Y) ((X>Y)?X:Y)
  20. #endif
  21. #define D (ax2-ax1)*(by1-by2) - (ay2-ay1)*(bx1-bx2)
  22. #define DA (bx1-ax1)*(by1-by2) - (by1-ay1)*(bx1-bx2)
  23. #define DB (ax2-ax1)*(by1-ay1) - (ay2-ay1)*(bx1-ax1)
  24. #ifdef ASDASDASFDSAFFDAS
  25. mpf_t p11, p12, p21, p22, t1, t2;
  26. mpf_t dd, dda, ddb, delta;
  27. mpf_t rra, rrb;
  28. int initialized = 0;
  29. void initialize_mpf_vars()
  30. {
  31. mpf_set_default_prec(2048);
  32. mpf_init(p11);
  33. mpf_init(p12);
  34. mpf_init(p21);
  35. mpf_init(p22);
  36. mpf_init(t1);
  37. mpf_init(t2);
  38. mpf_init(dd);
  39. mpf_init(dda);
  40. mpf_init(ddb);
  41. mpf_init(delta);
  42. mpf_init(rra);
  43. mpf_init(rrb);
  44. initialized = 1;
  45. }
  46. /*
  47. Caclulates:
  48. |a11-b11 a12-b12|
  49. |a21-b21 a22-b22|
  50. */
  51. void det22(mpf_t rop, double a11, double b11, double a12, double b12,
  52. double a21, double b21, double a22, double b22)
  53. {
  54. mpf_set_d(t1, a11);
  55. mpf_set_d(t2, b11);
  56. mpf_sub(p11, t1, t2);
  57. mpf_set_d(t1, a12);
  58. mpf_set_d(t2, b12);
  59. mpf_sub(p12, t1, t2);
  60. mpf_set_d(t1, a21);
  61. mpf_set_d(t2, b21);
  62. mpf_sub(p21, t1, t2);
  63. mpf_set_d(t1, a22);
  64. mpf_set_d(t2, b22);
  65. mpf_sub(p22, t1, t2);
  66. mpf_mul(t1, p11, p22);
  67. mpf_mul(t2, p12, p21);
  68. mpf_sub(rop, t1, t2);
  69. return;
  70. }
  71. void swap(double *a, double *b)
  72. {
  73. double t = *a;
  74. *a = *b;
  75. *b = t;
  76. return;
  77. }
  78. /* multi-precision version */
  79. int segment_intersection_2d_e(double ax1, double ay1, double ax2, double ay2,
  80. double bx1, double by1, double bx2, double by2,
  81. double *x1, double *y1, double *x2, double *y2)
  82. {
  83. double t;
  84. double max_ax, min_ax, max_ay, min_ay;
  85. double max_bx, min_bx, max_by, min_by;
  86. int sgn_d, sgn_da, sgn_db;
  87. int vertical;
  88. int f11, f12, f21, f22;
  89. mp_exp_t exp;
  90. char *s;
  91. if (!initialized)
  92. initialize_mpf_vars();
  93. /* TODO: Works for points ? */
  94. G_debug(3, "segment_intersection_2d_e()");
  95. G_debug(4, " ax1 = %.18f, ay1 = %.18f", ax1, ay1);
  96. G_debug(4, " ax2 = %.18f, ay2 = %.18f", ax2, ay2);
  97. G_debug(4, " bx1 = %.18f, by1 = %.18f", bx1, by1);
  98. G_debug(4, " bx2 = %.18f, by2 = %.18f", bx2, by2);
  99. f11 = ((ax1 == bx1) && (ay1 == by1));
  100. f12 = ((ax1 == bx2) && (ay1 == by2));
  101. f21 = ((ax2 == bx1) && (ay2 == by1));
  102. f22 = ((ax2 == bx2) && (ay2 == by2));
  103. /* Check for identical segments */
  104. if ((f11 && f22) || (f12 && f21)) {
  105. G_debug(3, " identical segments");
  106. *x1 = ax1;
  107. *y1 = ay1;
  108. *x2 = ax2;
  109. *y2 = ay2;
  110. return 5;
  111. }
  112. /* Check for identical endpoints */
  113. if (f11 || f12) {
  114. G_debug(3, " connected by endpoints");
  115. *x1 = ax1;
  116. *y1 = ay1;
  117. return 1;
  118. }
  119. if (f21 || f22) {
  120. G_debug(3, " connected by endpoints");
  121. *x1 = ax2;
  122. *y1 = ay2;
  123. return 1;
  124. }
  125. if ((MAX(ax1, ax2) < MIN(bx1, bx2)) || (MAX(bx1, bx2) < MIN(ax1, ax2))) {
  126. G_debug(3, " no intersection (disjoint bounding boxes)");
  127. return 0;
  128. }
  129. if ((MAX(ay1, ay2) < MIN(by1, by2)) || (MAX(by1, by2) < MIN(ay1, ay2))) {
  130. G_debug(3, " no intersection (disjoint bounding boxes)");
  131. return 0;
  132. }
  133. det22(dd, ax2, ax1, bx1, bx2, ay2, ay1, by1, by2);
  134. sgn_d = mpf_sgn(dd);
  135. if (sgn_d != 0) {
  136. G_debug(3, " general position");
  137. det22(dda, bx1, ax1, bx1, bx2, by1, ay1, by1, by2);
  138. sgn_da = mpf_sgn(dda);
  139. /*mpf_div(rra, dda, dd);
  140. mpf_div(rrb, ddb, dd);
  141. s = mpf_get_str(NULL, &exp, 10, 40, rra);
  142. G_debug(4, " ra = %sE%d", (s[0]==0)?"0":s, exp);
  143. s = mpf_get_str(NULL, &exp, 10, 24, rrb);
  144. G_debug(4, " rb = %sE%d", (s[0]==0)?"0":s, exp);
  145. */
  146. if (sgn_d > 0) {
  147. if ((sgn_da < 0) || (mpf_cmp(dda, dd) > 0)) {
  148. G_debug(3, " no intersection");
  149. return 0;
  150. }
  151. det22(ddb, ax2, ax1, bx1, ax1, ay2, ay1, by1, ay1);
  152. sgn_db = mpf_sgn(ddb);
  153. if ((sgn_db < 0) || (mpf_cmp(ddb, dd) > 0)) {
  154. G_debug(3, " no intersection");
  155. return 0;
  156. }
  157. }
  158. else { /* if sgn_d < 0 */
  159. if ((sgn_da > 0) || (mpf_cmp(dda, dd) < 0)) {
  160. G_debug(3, " no intersection");
  161. return 0;
  162. }
  163. det22(ddb, ax2, ax1, bx1, ax1, ay2, ay1, by1, ay1);
  164. sgn_db = mpf_sgn(ddb);
  165. if ((sgn_db > 0) || (mpf_cmp(ddb, dd) < 0)) {
  166. G_debug(3, " no intersection");
  167. return 0;
  168. }
  169. }
  170. /*G_debug(3, " ra=%.17g rb=%.17g", mpf_get_d(dda)/mpf_get_d(dd), mpf_get_d(ddb)/mpf_get_d(dd)); */
  171. /*G_debug(3, " sgn_d=%d sgn_da=%d sgn_db=%d cmp(dda,dd)=%d cmp(ddb,dd)=%d", sgn_d, sgn_da, sgn_db, mpf_cmp(dda, dd), mpf_cmp(ddb, dd)); */
  172. mpf_set_d(delta, ax2 - ax1);
  173. mpf_mul(t1, dda, delta);
  174. mpf_div(t2, t1, dd);
  175. *x1 = ax1 + mpf_get_d(t2);
  176. mpf_set_d(delta, ay2 - ay1);
  177. mpf_mul(t1, dda, delta);
  178. mpf_div(t2, t1, dd);
  179. *y1 = ay1 + mpf_get_d(t2);
  180. G_debug(3, " intersection %.16g, %.16g", *x1, *y1);
  181. return 1;
  182. }
  183. /* segments are parallel or collinear */
  184. det22(dda, bx1, ax1, bx1, bx2, by1, ay1, by1, by2);
  185. sgn_da = mpf_sgn(dda);
  186. if (sgn_da != 0) {
  187. /* segments are parallel */
  188. G_debug(3, " parallel segments");
  189. return 0;
  190. }
  191. /* segments are colinear. check for overlap */
  192. /* swap endpoints if needed */
  193. /* if segments are vertical, we swap x-coords with y-coords */
  194. vertical = 0;
  195. if (ax1 > ax2) {
  196. SWAP(ax1, ax2);
  197. SWAP(ay1, ay2);
  198. }
  199. else if (ax1 == ax2) {
  200. vertical = 1;
  201. if (ay1 > ay2)
  202. SWAP(ay1, ay2);
  203. SWAP(ax1, ay1);
  204. SWAP(ax2, ay2);
  205. }
  206. if (bx1 > bx2) {
  207. SWAP(bx1, bx2);
  208. SWAP(by1, by2);
  209. }
  210. else if (bx1 == bx2) {
  211. if (by1 > by2)
  212. SWAP(by1, by2);
  213. SWAP(bx1, by1);
  214. SWAP(bx2, by2);
  215. }
  216. G_debug(3, " collinear segments");
  217. if ((bx2 < ax1) || (bx1 > ax2)) {
  218. G_debug(3, " no intersection");
  219. return 0;
  220. }
  221. /* there is overlap or connected end points */
  222. G_debug(3, " overlap");
  223. /* a contains b */
  224. if ((ax1 < bx1) && (ax2 > bx2)) {
  225. G_debug(3, " a contains b");
  226. if (!vertical) {
  227. *x1 = bx1;
  228. *y1 = by1;
  229. *x2 = bx2;
  230. *y2 = by2;
  231. }
  232. else {
  233. *x1 = by1;
  234. *y1 = bx1;
  235. *x2 = by2;
  236. *y2 = bx2;
  237. }
  238. return 3;
  239. }
  240. /* b contains a */
  241. if ((ax1 > bx1) && (ax2 < bx2)) {
  242. G_debug(3, " b contains a");
  243. if (!vertical) {
  244. *x1 = bx1;
  245. *y1 = by1;
  246. *x2 = bx2;
  247. *y2 = by2;
  248. }
  249. else {
  250. *x1 = by1;
  251. *y1 = bx1;
  252. *x2 = by2;
  253. *y2 = bx2;
  254. }
  255. return 4;
  256. }
  257. /* general overlap, 2 intersection points */
  258. G_debug(3, " partial overlap");
  259. if ((bx1 > ax1) && (bx1 < ax2)) { /* b1 is in a */
  260. if (!vertical) {
  261. *x1 = bx1;
  262. *y1 = by1;
  263. *x2 = ax2;
  264. *y2 = ay2;
  265. }
  266. else {
  267. *x1 = by1;
  268. *y1 = bx1;
  269. *x2 = ay2;
  270. *y2 = ax2;
  271. }
  272. return 2;
  273. }
  274. if ((bx2 > ax1) && (bx2 < ax2)) { /* b2 is in a */
  275. if (!vertical) {
  276. *x1 = bx2;
  277. *y1 = by2;
  278. *x2 = ax1;
  279. *y2 = ay1;
  280. }
  281. else {
  282. *x1 = by2;
  283. *y1 = bx2;
  284. *x2 = ay1;
  285. *y2 = ax1;
  286. }
  287. return 2;
  288. }
  289. /* should not be reached */
  290. G_warning(("segment_intersection_2d() ERROR (should not be reached)"));
  291. G_warning("%.16g %.16g", ax1, ay1);
  292. G_warning("%.16g %.16g", ax2, ay2);
  293. G_warning("x");
  294. G_warning("%.16g %.16g", bx1, by1);
  295. G_warning("%.16g %.16g", bx2, by2);
  296. return 0;
  297. }
  298. #endif
  299. /* OLD */
  300. /* tollerance aware version */
  301. /* TODO: fix all ==s left */
  302. int segment_intersection_2d_tol(double ax1, double ay1, double ax2,
  303. double ay2, double bx1, double by1,
  304. double bx2, double by2, double *x1,
  305. double *y1, double *x2, double *y2,
  306. double tol)
  307. {
  308. double tola, tolb;
  309. double d, d1, d2, ra, rb, t;
  310. int switched = 0;
  311. /* TODO: Works for points ? */
  312. G_debug(4, "segment_intersection_2d()");
  313. G_debug(4, " ax1 = %.18f, ay1 = %.18f", ax1, ay1);
  314. G_debug(4, " ax2 = %.18f, ay2 = %.18f", ax2, ay2);
  315. G_debug(4, " bx1 = %.18f, by1 = %.18f", bx1, by1);
  316. G_debug(4, " bx2 = %.18f, by2 = %.18f", bx2, by2);
  317. /* Check identical lines */
  318. if ((FEQUAL(ax1, bx1, tol) && FEQUAL(ay1, by1, tol) &&
  319. FEQUAL(ax2, bx2, tol) && FEQUAL(ay2, by2, tol)) ||
  320. (FEQUAL(ax1, bx2, tol) && FEQUAL(ay1, by2, tol) &&
  321. FEQUAL(ax2, bx1, tol) && FEQUAL(ay2, by1, tol))) {
  322. G_debug(2, " -> identical segments");
  323. *x1 = ax1;
  324. *y1 = ay1;
  325. *x2 = ax2;
  326. *y2 = ay2;
  327. return 5;
  328. }
  329. /* 'Sort' lines by x1, x2, y1, y2 */
  330. if (bx1 < ax1)
  331. switched = 1;
  332. else if (bx1 == ax1) {
  333. if (bx2 < ax2)
  334. switched = 1;
  335. else if (bx2 == ax2) {
  336. if (by1 < ay1)
  337. switched = 1;
  338. else if (by1 == ay1) {
  339. if (by2 < ay2)
  340. switched = 1; /* by2 != ay2 (would be identical */
  341. }
  342. }
  343. }
  344. if (switched) {
  345. t = ax1;
  346. ax1 = bx1;
  347. bx1 = t;
  348. t = ay1;
  349. ay1 = by1;
  350. by1 = t;
  351. t = ax2;
  352. ax2 = bx2;
  353. bx2 = t;
  354. t = ay2;
  355. ay2 = by2;
  356. by2 = t;
  357. }
  358. d = (ax2 - ax1) * (by1 - by2) - (ay2 - ay1) * (bx1 - bx2);
  359. d1 = (bx1 - ax1) * (by1 - by2) - (by1 - ay1) * (bx1 - bx2);
  360. d2 = (ax2 - ax1) * (by1 - ay1) - (ay2 - ay1) * (bx1 - ax1);
  361. G_debug(2, " d = %.18g", d);
  362. G_debug(2, " d1 = %.18g", d1);
  363. G_debug(2, " d2 = %.18g", d2);
  364. tola = tol / MAX(fabs(ax2 - ax1), fabs(ay2 - ay1));
  365. tolb = tol / MAX(fabs(bx2 - bx1), fabs(by2 - by1));
  366. G_debug(2, " tol = %.18g", tol);
  367. G_debug(2, " tola = %.18g", tola);
  368. G_debug(2, " tolb = %.18g", tolb);
  369. if (!FZERO(d, tol)) {
  370. ra = d1 / d;
  371. rb = d2 / d;
  372. G_debug(2, " not parallel/collinear: ra = %.18g", ra);
  373. G_debug(2, " rb = %.18g", rb);
  374. if ((ra <= -tola) || (ra >= 1 + tola) || (rb <= -tolb) ||
  375. (rb >= 1 + tolb)) {
  376. G_debug(2, " no intersection");
  377. return 0;
  378. }
  379. ra = MIN(MAX(ra, 0), 1);
  380. *x1 = ax1 + ra * (ax2 - ax1);
  381. *y1 = ay1 + ra * (ay2 - ay1);
  382. G_debug(2, " intersection %.18f, %.18f", *x1, *y1);
  383. return 1;
  384. }
  385. /* segments are parallel or collinear */
  386. G_debug(3, " -> parallel/collinear");
  387. if ((!FZERO(d1, tol)) || (!FZERO(d2, tol))) { /* lines are parallel */
  388. G_debug(2, " -> parallel");
  389. return 0;
  390. }
  391. /* segments are colinear. check for overlap */
  392. /* aa = adx*adx + ady*ady;
  393. bb = bdx*bdx + bdy*bdy;
  394. t = (ax1-bx1)*bdx + (ay1-by1)*bdy; */
  395. /* Collinear vertical */
  396. /* original code assumed lines were not both vertical
  397. * so there is a special case if they are */
  398. if (FEQUAL(ax1, ax2, tol) && FEQUAL(bx1, bx2, tol) &&
  399. FEQUAL(ax1, bx1, tol)) {
  400. G_debug(2, " -> collinear vertical");
  401. if (ay1 > ay2) {
  402. t = ay1;
  403. ay1 = ay2;
  404. ay2 = t;
  405. } /* to be sure that ay1 < ay2 */
  406. if (by1 > by2) {
  407. t = by1;
  408. by1 = by2;
  409. by2 = t;
  410. } /* to be sure that by1 < by2 */
  411. if (ay1 > by2 || ay2 < by1) {
  412. G_debug(2, " -> no intersection");
  413. return 0;
  414. }
  415. /* end points */
  416. if (FEQUAL(ay1, by2, tol)) {
  417. *x1 = ax1;
  418. *y1 = ay1;
  419. G_debug(2, " -> connected by end points");
  420. return 1; /* endpoints only */
  421. }
  422. if (FEQUAL(ay2, by1, tol)) {
  423. *x1 = ax2;
  424. *y1 = ay2;
  425. G_debug(2, " -> connected by end points");
  426. return 1; /* endpoints only */
  427. }
  428. /* general overlap */
  429. G_debug(3, " -> vertical overlap");
  430. /* a contains b */
  431. if (ay1 <= by1 && ay2 >= by2) {
  432. G_debug(2, " -> a contains b");
  433. *x1 = bx1;
  434. *y1 = by1;
  435. *x2 = bx2;
  436. *y2 = by2;
  437. if (!switched)
  438. return 3;
  439. else
  440. return 4;
  441. }
  442. /* b contains a */
  443. if (ay1 >= by1 && ay2 <= by2) {
  444. G_debug(2, " -> b contains a");
  445. *x1 = ax1;
  446. *y1 = ay1;
  447. *x2 = ax2;
  448. *y2 = ay2;
  449. if (!switched)
  450. return 4;
  451. else
  452. return 3;
  453. }
  454. /* general overlap, 2 intersection points */
  455. G_debug(2, " -> partial overlap");
  456. if (by1 > ay1 && by1 < ay2) { /* b1 in a */
  457. if (!switched) {
  458. *x1 = bx1;
  459. *y1 = by1;
  460. *x2 = ax2;
  461. *y2 = ay2;
  462. }
  463. else {
  464. *x1 = ax2;
  465. *y1 = ay2;
  466. *x2 = bx1;
  467. *y2 = by1;
  468. }
  469. return 2;
  470. }
  471. if (by2 > ay1 && by2 < ay2) { /* b2 in a */
  472. if (!switched) {
  473. *x1 = bx2;
  474. *y1 = by2;
  475. *x2 = ax1;
  476. *y2 = ay1;
  477. }
  478. else {
  479. *x1 = ax1;
  480. *y1 = ay1;
  481. *x2 = bx2;
  482. *y2 = by2;
  483. }
  484. return 2;
  485. }
  486. /* should not be reached */
  487. G_warning(("Vect_segment_intersection() ERROR (collinear vertical segments)"));
  488. G_warning("%.15g %.15g", ax1, ay1);
  489. G_warning("%.15g %.15g", ax2, ay2);
  490. G_warning("x");
  491. G_warning("%.15g %.15g", bx1, by1);
  492. G_warning("%.15g %.15g", bx2, by2);
  493. return 0;
  494. }
  495. G_debug(2, " -> collinear non vertical");
  496. /* Collinear non vertical */
  497. if ((bx1 > ax1 && bx2 > ax1 && bx1 > ax2 && bx2 > ax2) ||
  498. (bx1 < ax1 && bx2 < ax1 && bx1 < ax2 && bx2 < ax2)) {
  499. G_debug(2, " -> no intersection");
  500. return 0;
  501. }
  502. /* there is overlap or connected end points */
  503. G_debug(2, " -> overlap/connected end points");
  504. /* end points */
  505. if ((ax1 == bx1 && ay1 == by1) || (ax1 == bx2 && ay1 == by2)) {
  506. *x1 = ax1;
  507. *y1 = ay1;
  508. G_debug(2, " -> connected by end points");
  509. return 1;
  510. }
  511. if ((ax2 == bx1 && ay2 == by1) || (ax2 == bx2 && ay2 == by2)) {
  512. *x1 = ax2;
  513. *y1 = ay2;
  514. G_debug(2, " -> connected by end points");
  515. return 1;
  516. }
  517. if (ax1 > ax2) {
  518. t = ax1;
  519. ax1 = ax2;
  520. ax2 = t;
  521. t = ay1;
  522. ay1 = ay2;
  523. ay2 = t;
  524. } /* to be sure that ax1 < ax2 */
  525. if (bx1 > bx2) {
  526. t = bx1;
  527. bx1 = bx2;
  528. bx2 = t;
  529. t = by1;
  530. by1 = by2;
  531. by2 = t;
  532. } /* to be sure that bx1 < bx2 */
  533. /* a contains b */
  534. if (ax1 <= bx1 && ax2 >= bx2) {
  535. G_debug(2, " -> a contains b");
  536. *x1 = bx1;
  537. *y1 = by1;
  538. *x2 = bx2;
  539. *y2 = by2;
  540. if (!switched)
  541. return 3;
  542. else
  543. return 4;
  544. }
  545. /* b contains a */
  546. if (ax1 >= bx1 && ax2 <= bx2) {
  547. G_debug(2, " -> b contains a");
  548. *x1 = ax1;
  549. *y1 = ay1;
  550. *x2 = ax2;
  551. *y2 = ay2;
  552. if (!switched)
  553. return 4;
  554. else
  555. return 3;
  556. }
  557. /* general overlap, 2 intersection points (lines are not vertical) */
  558. G_debug(2, " -> partial overlap");
  559. if (bx1 > ax1 && bx1 < ax2) { /* b1 is in a */
  560. if (!switched) {
  561. *x1 = bx1;
  562. *y1 = by1;
  563. *x2 = ax2;
  564. *y2 = ay2;
  565. }
  566. else {
  567. *x1 = ax2;
  568. *y1 = ay2;
  569. *x2 = bx1;
  570. *y2 = by1;
  571. }
  572. return 2;
  573. }
  574. if (bx2 > ax1 && bx2 < ax2) { /* b2 is in a */
  575. if (!switched) {
  576. *x1 = bx2;
  577. *y1 = by2;
  578. *x2 = ax1;
  579. *y2 = ay1;
  580. }
  581. else {
  582. *x1 = ax1;
  583. *y1 = ay1;
  584. *x2 = bx2;
  585. *y2 = by2;
  586. }
  587. return 2;
  588. }
  589. /* should not be reached */
  590. G_warning(("segment_intersection_2d() ERROR (collinear non vertical segments)"));
  591. G_warning("%.15g %.15g", ax1, ay1);
  592. G_warning("%.15g %.15g", ax2, ay2);
  593. G_warning("x");
  594. G_warning("%.15g %.15g", bx1, by1);
  595. G_warning("%.15g %.15g", bx2, by2);
  596. return 0;
  597. }
  598. int segment_intersection_2d(double ax1, double ay1, double ax2, double ay2,
  599. double bx1, double by1, double bx2, double by2,
  600. double *x1, double *y1, double *x2, double *y2)
  601. {
  602. const int DLEVEL = 4;
  603. double t;
  604. int vertical;
  605. int f11, f12, f21, f22;
  606. double d, da, db;
  607. /* TODO: Works for points ? */
  608. G_debug(DLEVEL, "segment_intersection_2d()");
  609. G_debug(4, " ax1 = %.18f, ay1 = %.18f", ax1, ay1);
  610. G_debug(4, " ax2 = %.18f, ay2 = %.18f", ax2, ay2);
  611. G_debug(4, " bx1 = %.18f, by1 = %.18f", bx1, by1);
  612. G_debug(4, " bx2 = %.18f, by2 = %.18f", bx2, by2);
  613. f11 = ((ax1 == bx1) && (ay1 == by1));
  614. f12 = ((ax1 == bx2) && (ay1 == by2));
  615. f21 = ((ax2 == bx1) && (ay2 == by1));
  616. f22 = ((ax2 == bx2) && (ay2 == by2));
  617. /* Check for identical segments */
  618. if ((f11 && f22) || (f12 && f21)) {
  619. G_debug(DLEVEL, " identical segments");
  620. *x1 = ax1;
  621. *y1 = ay1;
  622. *x2 = ax2;
  623. *y2 = ay2;
  624. return 5;
  625. }
  626. /* Check for identical endpoints */
  627. if (f11 || f12) {
  628. G_debug(DLEVEL, " connected by endpoints");
  629. *x1 = ax1;
  630. *y1 = ay1;
  631. return 1;
  632. }
  633. if (f21 || f22) {
  634. G_debug(DLEVEL, " connected by endpoints");
  635. *x1 = ax2;
  636. *y1 = ay2;
  637. return 1;
  638. }
  639. if ((MAX(ax1, ax2) < MIN(bx1, bx2)) || (MAX(bx1, bx2) < MIN(ax1, ax2))) {
  640. G_debug(DLEVEL, " no intersection (disjoint bounding boxes)");
  641. return 0;
  642. }
  643. if ((MAX(ay1, ay2) < MIN(by1, by2)) || (MAX(by1, by2) < MIN(ay1, ay2))) {
  644. G_debug(DLEVEL, " no intersection (disjoint bounding boxes)");
  645. return 0;
  646. }
  647. d = D;
  648. if (d != 0) {
  649. G_debug(DLEVEL, " general position");
  650. da = DA;
  651. /*mpf_div(rra, dda, dd);
  652. mpf_div(rrb, ddb, dd);
  653. s = mpf_get_str(NULL, &exp, 10, 40, rra);
  654. G_debug(4, " ra = %sE%d", (s[0]==0)?"0":s, exp);
  655. s = mpf_get_str(NULL, &exp, 10, 24, rrb);
  656. G_debug(4, " rb = %sE%d", (s[0]==0)?"0":s, exp);
  657. */
  658. if (d > 0) {
  659. if ((da < 0) || (da > d)) {
  660. G_debug(DLEVEL, " no intersection");
  661. return 0;
  662. }
  663. db = DB;
  664. if ((db < 0) || (db > d)) {
  665. G_debug(DLEVEL, " no intersection");
  666. return 0;
  667. }
  668. }
  669. else { /* if d < 0 */
  670. if ((da > 0) || (da < d)) {
  671. G_debug(DLEVEL, " no intersection");
  672. return 0;
  673. }
  674. db = DB;
  675. if ((db > 0) || (db < d)) {
  676. G_debug(DLEVEL, " no intersection");
  677. return 0;
  678. }
  679. }
  680. /*G_debug(DLEVEL, " ra=%.17g rb=%.17g", mpf_get_d(dda)/mpf_get_d(dd), mpf_get_d(ddb)/mpf_get_d(dd)); */
  681. /*G_debug(DLEVEL, " sgn_d=%d sgn_da=%d sgn_db=%d cmp(dda,dd)=%d cmp(ddb,dd)=%d", sgn_d, sgn_da, sgn_db, mpf_cmp(dda, dd), mpf_cmp(ddb, dd)); */
  682. *x1 = ax1 + (ax2 - ax1) * da / d;
  683. *y1 = ay1 + (ay2 - ay1) * da / d;
  684. G_debug(DLEVEL, " intersection %.16g, %.16g", *x1, *y1);
  685. return 1;
  686. }
  687. /* segments are parallel or collinear */
  688. da = DA;
  689. db = DB;
  690. if ((da != 0) || (db != 0)) {
  691. /* segments are parallel */
  692. G_debug(DLEVEL, " parallel segments");
  693. return 0;
  694. }
  695. /* segments are colinear. check for overlap */
  696. /* swap endpoints if needed */
  697. /* if segments are vertical, we swap x-coords with y-coords */
  698. vertical = 0;
  699. if (ax1 > ax2) {
  700. SWAP(ax1, ax2);
  701. SWAP(ay1, ay2);
  702. }
  703. else if (ax1 == ax2) {
  704. vertical = 1;
  705. if (ay1 > ay2)
  706. SWAP(ay1, ay2);
  707. SWAP(ax1, ay1);
  708. SWAP(ax2, ay2);
  709. }
  710. if (bx1 > bx2) {
  711. SWAP(bx1, bx2);
  712. SWAP(by1, by2);
  713. }
  714. else if (bx1 == bx2) {
  715. if (by1 > by2)
  716. SWAP(by1, by2);
  717. SWAP(bx1, by1);
  718. SWAP(bx2, by2);
  719. }
  720. G_debug(DLEVEL, " collinear segments");
  721. if ((bx2 < ax1) || (bx1 > ax2)) {
  722. G_debug(DLEVEL, " no intersection");
  723. return 0;
  724. }
  725. /* there is overlap or connected end points */
  726. G_debug(DLEVEL, " overlap");
  727. /* a contains b */
  728. if ((ax1 < bx1) && (ax2 > bx2)) {
  729. G_debug(DLEVEL, " a contains b");
  730. if (!vertical) {
  731. *x1 = bx1;
  732. *y1 = by1;
  733. *x2 = bx2;
  734. *y2 = by2;
  735. }
  736. else {
  737. *x1 = by1;
  738. *y1 = bx1;
  739. *x2 = by2;
  740. *y2 = bx2;
  741. }
  742. return 3;
  743. }
  744. /* b contains a */
  745. if ((ax1 > bx1) && (ax2 < bx2)) {
  746. G_debug(DLEVEL, " b contains a");
  747. if (!vertical) {
  748. *x1 = bx1;
  749. *y1 = by1;
  750. *x2 = bx2;
  751. *y2 = by2;
  752. }
  753. else {
  754. *x1 = by1;
  755. *y1 = bx1;
  756. *x2 = by2;
  757. *y2 = bx2;
  758. }
  759. return 4;
  760. }
  761. /* general overlap, 2 intersection points */
  762. G_debug(DLEVEL, " partial overlap");
  763. if ((bx1 > ax1) && (bx1 < ax2)) { /* b1 is in a */
  764. if (!vertical) {
  765. *x1 = bx1;
  766. *y1 = by1;
  767. *x2 = ax2;
  768. *y2 = ay2;
  769. }
  770. else {
  771. *x1 = by1;
  772. *y1 = bx1;
  773. *x2 = ay2;
  774. *y2 = ax2;
  775. }
  776. return 2;
  777. }
  778. if ((bx2 > ax1) && (bx2 < ax2)) { /* b2 is in a */
  779. if (!vertical) {
  780. *x1 = bx2;
  781. *y1 = by2;
  782. *x2 = ax1;
  783. *y2 = ay1;
  784. }
  785. else {
  786. *x1 = by2;
  787. *y1 = bx2;
  788. *x2 = ay1;
  789. *y2 = ax1;
  790. }
  791. return 2;
  792. }
  793. /* should not be reached */
  794. G_warning(("segment_intersection_2d() ERROR (should not be reached)"));
  795. G_warning("%.16g %.16g", ax1, ay1);
  796. G_warning("%.16g %.16g", ax2, ay2);
  797. G_warning("x");
  798. G_warning("%.16g %.16g", bx1, by1);
  799. G_warning("%.16g %.16g", bx2, by2);
  800. return 0;
  801. }
  802. #define N 52 /* double's mantisa size in bits */
  803. /* a and b are different in at most <bits> significant digits */
  804. int almost_equal(double a, double b, int bits)
  805. {
  806. int ea, eb, e;
  807. if (a == b)
  808. return 1;
  809. if (a == 0 || b == 0) {
  810. /* return (0 < -N+bits); */
  811. return (bits > N);
  812. }
  813. frexp(a, &ea);
  814. frexp(b, &eb);
  815. if (ea != eb)
  816. return (bits > N + abs(ea - eb));
  817. frexp(a - b, &e);
  818. return (e < ea - N + bits);
  819. }
  820. #ifdef ASDASDFASFEAS
  821. int segment_intersection_2d_test(double ax1, double ay1, double ax2,
  822. double ay2, double bx1, double by1,
  823. double bx2, double by2, double *x1,
  824. double *y1, double *x2, double *y2)
  825. {
  826. double t;
  827. double max_ax, min_ax, max_ay, min_ay;
  828. double max_bx, min_bx, max_by, min_by;
  829. int sgn_d, sgn_da, sgn_db;
  830. int vertical;
  831. int f11, f12, f21, f22;
  832. mp_exp_t exp;
  833. char *s;
  834. double d, da, db, ra, rb;
  835. if (!initialized)
  836. initialize_mpf_vars();
  837. /* TODO: Works for points ? */
  838. G_debug(3, "segment_intersection_2d_test()");
  839. G_debug(3, " ax1 = %.18e, ay1 = %.18e", ax1, ay1);
  840. G_debug(3, " ax2 = %.18e, ay2 = %.18e", ax2, ay2);
  841. G_debug(3, " bx1 = %.18e, by1 = %.18e", bx1, by1);
  842. G_debug(3, " bx2 = %.18e, by2 = %.18e", bx2, by2);
  843. f11 = ((ax1 == bx1) && (ay1 == by1));
  844. f12 = ((ax1 == bx2) && (ay1 == by2));
  845. f21 = ((ax2 == bx1) && (ay2 == by1));
  846. f22 = ((ax2 == bx2) && (ay2 == by2));
  847. /* Check for identical segments */
  848. if ((f11 && f22) || (f12 && f21)) {
  849. G_debug(4, " identical segments");
  850. *x1 = ax1;
  851. *y1 = ay1;
  852. *x2 = ax2;
  853. *y2 = ay2;
  854. return 5;
  855. }
  856. /* Check for identical endpoints */
  857. if (f11 || f12) {
  858. G_debug(4, " connected by endpoints");
  859. *x1 = ax1;
  860. *y1 = ay1;
  861. return 1;
  862. }
  863. if (f21 || f22) {
  864. G_debug(4, " connected by endpoints");
  865. *x1 = ax2;
  866. *y1 = ay2;
  867. return 1;
  868. }
  869. if ((MAX(ax1, ax2) < MIN(bx1, bx2)) || (MAX(bx1, bx2) < MIN(ax1, ax2))) {
  870. G_debug(4, " no intersection (disjoint bounding boxes)");
  871. return 0;
  872. }
  873. if ((MAX(ay1, ay2) < MIN(by1, by2)) || (MAX(by1, by2) < MIN(ay1, ay2))) {
  874. G_debug(4, " no intersection (disjoint bounding boxes)");
  875. return 0;
  876. }
  877. d = (ax2 - ax1) * (by1 - by2) - (ay2 - ay1) * (bx1 - bx2);
  878. da = (bx1 - ax1) * (by1 - by2) - (by1 - ay1) * (bx1 - bx2);
  879. db = (ax2 - ax1) * (by1 - ay1) - (ay2 - ay1) * (bx1 - ax1);
  880. det22(dd, ax2, ax1, bx1, bx2, ay2, ay1, by1, by2);
  881. sgn_d = mpf_sgn(dd);
  882. s = mpf_get_str(NULL, &exp, 10, 40, dd);
  883. G_debug(3, " dd = %sE%d", (s[0] == 0) ? "0" : s, exp);
  884. G_debug(3, " d = %.18E", d);
  885. if (sgn_d != 0) {
  886. G_debug(3, " general position");
  887. det22(dda, bx1, ax1, bx1, bx2, by1, ay1, by1, by2);
  888. det22(ddb, ax2, ax1, bx1, ax1, ay2, ay1, by1, ay1);
  889. sgn_da = mpf_sgn(dda);
  890. sgn_db = mpf_sgn(ddb);
  891. ra = da / d;
  892. rb = db / d;
  893. mpf_div(rra, dda, dd);
  894. mpf_div(rrb, ddb, dd);
  895. s = mpf_get_str(NULL, &exp, 10, 40, rra);
  896. G_debug(4, " rra = %sE%d", (s[0] == 0) ? "0" : s, exp);
  897. G_debug(4, " ra = %.18E", ra);
  898. s = mpf_get_str(NULL, &exp, 10, 40, rrb);
  899. G_debug(4, " rrb = %sE%d", (s[0] == 0) ? "0" : s, exp);
  900. G_debug(4, " rb = %.18E", rb);
  901. if (sgn_d > 0) {
  902. if ((sgn_da < 0) || (mpf_cmp(dda, dd) > 0)) {
  903. G_debug(DLEVEL, " no intersection");
  904. return 0;
  905. }
  906. if ((sgn_db < 0) || (mpf_cmp(ddb, dd) > 0)) {
  907. G_debug(DLEVEL, " no intersection");
  908. return 0;
  909. }
  910. }
  911. else { /* if sgn_d < 0 */
  912. if ((sgn_da > 0) || (mpf_cmp(dda, dd) < 0)) {
  913. G_debug(DLEVEL, " no intersection");
  914. return 0;
  915. }
  916. if ((sgn_db > 0) || (mpf_cmp(ddb, dd) < 0)) {
  917. G_debug(DLEVEL, " no intersection");
  918. return 0;
  919. }
  920. }
  921. mpf_set_d(delta, ax2 - ax1);
  922. mpf_mul(t1, dda, delta);
  923. mpf_div(t2, t1, dd);
  924. *x1 = ax1 + mpf_get_d(t2);
  925. mpf_set_d(delta, ay2 - ay1);
  926. mpf_mul(t1, dda, delta);
  927. mpf_div(t2, t1, dd);
  928. *y1 = ay1 + mpf_get_d(t2);
  929. G_debug(2, " intersection at:");
  930. G_debug(2, " xx = %.18e", *x1);
  931. G_debug(2, " x = %.18e", ax1 + ra * (ax2 - ax1));
  932. G_debug(2, " yy = %.18e", *y1);
  933. G_debug(2, " y = %.18e", ay1 + ra * (ay2 - ay1));
  934. return 1;
  935. }
  936. G_debug(3, " parallel/collinear...");
  937. return -1;
  938. }
  939. #endif