2012-08-27 14:11:33 +00:00
|
|
|
/*
|
|
|
|
* Copyright 2012 Google Inc.
|
|
|
|
*
|
|
|
|
* Use of this source code is governed by a BSD-style license that can be
|
|
|
|
* found in the LICENSE file.
|
|
|
|
*/
|
2012-02-03 22:07:47 +00:00
|
|
|
#include "CurveIntersection.h"
|
2012-01-25 18:57:23 +00:00
|
|
|
#include "Intersections.h"
|
|
|
|
#include "LineUtilities.h"
|
|
|
|
#include "QuadraticUtilities.h"
|
|
|
|
|
2012-08-23 18:14:13 +00:00
|
|
|
/*
|
2012-01-25 18:57:23 +00:00
|
|
|
Find the interection of a line and quadratic by solving for valid t values.
|
|
|
|
|
|
|
|
From http://stackoverflow.com/questions/1853637/how-to-find-the-mathematical-function-defining-a-bezier-curve
|
|
|
|
|
2012-08-23 18:14:13 +00:00
|
|
|
"A Bezier curve is a parametric function. A quadratic Bezier curve (i.e. three
|
|
|
|
control points) can be expressed as: F(t) = A(1 - t)^2 + B(1 - t)t + Ct^2 where
|
2012-01-25 18:57:23 +00:00
|
|
|
A, B and C are points and t goes from zero to one.
|
|
|
|
|
|
|
|
This will give you two equations:
|
|
|
|
|
|
|
|
x = a(1 - t)^2 + b(1 - t)t + ct^2
|
|
|
|
y = d(1 - t)^2 + e(1 - t)t + ft^2
|
|
|
|
|
2012-08-23 18:14:13 +00:00
|
|
|
If you add for instance the line equation (y = kx + m) to that, you'll end up
|
2012-01-25 18:57:23 +00:00
|
|
|
with three equations and three unknowns (x, y and t)."
|
|
|
|
|
|
|
|
Similar to above, the quadratic is represented as
|
|
|
|
x = a(1-t)^2 + 2b(1-t)t + ct^2
|
|
|
|
y = d(1-t)^2 + 2e(1-t)t + ft^2
|
|
|
|
and the line as
|
|
|
|
y = g*x + h
|
|
|
|
|
|
|
|
Using Mathematica, solve for the values of t where the quadratic intersects the
|
|
|
|
line:
|
|
|
|
|
2012-08-23 18:14:13 +00:00
|
|
|
(in) t1 = Resultant[a*(1 - t)^2 + 2*b*(1 - t)*t + c*t^2 - x,
|
2012-01-25 18:57:23 +00:00
|
|
|
d*(1 - t)^2 + 2*e*(1 - t)*t + f*t^2 - g*x - h, x]
|
2012-08-23 18:14:13 +00:00
|
|
|
(out) -d + h + 2 d t - 2 e t - d t^2 + 2 e t^2 - f t^2 +
|
2012-01-25 18:57:23 +00:00
|
|
|
g (a - 2 a t + 2 b t + a t^2 - 2 b t^2 + c t^2)
|
|
|
|
(in) Solve[t1 == 0, t]
|
|
|
|
(out) {
|
|
|
|
{t -> (-2 d + 2 e + 2 a g - 2 b g -
|
2012-08-23 18:14:13 +00:00
|
|
|
Sqrt[(2 d - 2 e - 2 a g + 2 b g)^2 -
|
2012-01-25 18:57:23 +00:00
|
|
|
4 (-d + 2 e - f + a g - 2 b g + c g) (-d + a g + h)]) /
|
|
|
|
(2 (-d + 2 e - f + a g - 2 b g + c g))
|
|
|
|
},
|
|
|
|
{t -> (-2 d + 2 e + 2 a g - 2 b g +
|
2012-08-23 18:14:13 +00:00
|
|
|
Sqrt[(2 d - 2 e - 2 a g + 2 b g)^2 -
|
2012-01-25 18:57:23 +00:00
|
|
|
4 (-d + 2 e - f + a g - 2 b g + c g) (-d + a g + h)]) /
|
|
|
|
(2 (-d + 2 e - f + a g - 2 b g + c g))
|
|
|
|
}
|
|
|
|
}
|
2012-08-23 18:14:13 +00:00
|
|
|
|
2012-01-25 18:57:23 +00:00
|
|
|
Using the results above (when the line tends towards horizontal)
|
|
|
|
A = (-(d - 2*e + f) + g*(a - 2*b + c) )
|
|
|
|
B = 2*( (d - e ) - g*(a - b ) )
|
|
|
|
C = (-(d ) + g*(a ) + h )
|
|
|
|
|
|
|
|
If g goes to infinity, we can rewrite the line in terms of x.
|
|
|
|
x = g'*y + h'
|
|
|
|
|
|
|
|
And solve accordingly in Mathematica:
|
|
|
|
|
2012-08-23 18:14:13 +00:00
|
|
|
(in) t2 = Resultant[a*(1 - t)^2 + 2*b*(1 - t)*t + c*t^2 - g'*y - h',
|
2012-01-25 18:57:23 +00:00
|
|
|
d*(1 - t)^2 + 2*e*(1 - t)*t + f*t^2 - y, y]
|
2012-08-23 18:14:13 +00:00
|
|
|
(out) a - h' - 2 a t + 2 b t + a t^2 - 2 b t^2 + c t^2 -
|
2012-01-25 18:57:23 +00:00
|
|
|
g' (d - 2 d t + 2 e t + d t^2 - 2 e t^2 + f t^2)
|
|
|
|
(in) Solve[t2 == 0, t]
|
|
|
|
(out) {
|
|
|
|
{t -> (2 a - 2 b - 2 d g' + 2 e g' -
|
2012-08-23 18:14:13 +00:00
|
|
|
Sqrt[(-2 a + 2 b + 2 d g' - 2 e g')^2 -
|
2012-01-25 18:57:23 +00:00
|
|
|
4 (a - 2 b + c - d g' + 2 e g' - f g') (a - d g' - h')]) /
|
|
|
|
(2 (a - 2 b + c - d g' + 2 e g' - f g'))
|
|
|
|
},
|
|
|
|
{t -> (2 a - 2 b - 2 d g' + 2 e g' +
|
2012-08-23 18:14:13 +00:00
|
|
|
Sqrt[(-2 a + 2 b + 2 d g' - 2 e g')^2 -
|
2012-01-25 18:57:23 +00:00
|
|
|
4 (a - 2 b + c - d g' + 2 e g' - f g') (a - d g' - h')])/
|
|
|
|
(2 (a - 2 b + c - d g' + 2 e g' - f g'))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Thus, if the slope of the line tends towards vertical, we use:
|
|
|
|
A = ( (a - 2*b + c) - g'*(d - 2*e + f) )
|
|
|
|
B = 2*(-(a - b ) + g'*(d - e ) )
|
|
|
|
C = ( (a ) - g'*(d ) - h' )
|
|
|
|
*/
|
2012-08-23 18:14:13 +00:00
|
|
|
|
2012-01-25 18:57:23 +00:00
|
|
|
|
|
|
|
class LineQuadraticIntersections : public Intersections {
|
|
|
|
public:
|
|
|
|
|
|
|
|
LineQuadraticIntersections(const Quadratic& q, const _Line& l, Intersections& i)
|
|
|
|
: quad(q)
|
|
|
|
, line(l)
|
|
|
|
, intersections(i) {
|
|
|
|
}
|
|
|
|
|
2012-09-14 14:19:30 +00:00
|
|
|
int intersectRay() {
|
2012-08-24 15:24:36 +00:00
|
|
|
/*
|
|
|
|
solve by rotating line+quad so line is horizontal, then finding the roots
|
|
|
|
set up matrix to rotate quad to x-axis
|
|
|
|
|cos(a) -sin(a)|
|
|
|
|
|sin(a) cos(a)|
|
|
|
|
note that cos(a) = A(djacent) / Hypoteneuse
|
|
|
|
sin(a) = O(pposite) / Hypoteneuse
|
|
|
|
since we are computing Ts, we can ignore hypoteneuse, the scale factor:
|
|
|
|
| A -O |
|
|
|
|
| O A |
|
|
|
|
A = line[1].x - line[0].x (adjacent side of the right triangle)
|
|
|
|
O = line[1].y - line[0].y (opposite side of the right triangle)
|
|
|
|
for each of the three points (e.g. n = 0 to 2)
|
|
|
|
quad[n].y' = (quad[n].y - line[0].y) * A - (quad[n].x - line[0].x) * O
|
|
|
|
*/
|
|
|
|
double adj = line[1].x - line[0].x;
|
|
|
|
double opp = line[1].y - line[0].y;
|
|
|
|
double r[3];
|
|
|
|
for (int n = 0; n < 3; ++n) {
|
|
|
|
r[n] = (quad[n].y - line[0].y) * adj - (quad[n].x - line[0].x) * opp;
|
2012-01-25 18:57:23 +00:00
|
|
|
}
|
2012-08-24 15:24:36 +00:00
|
|
|
double A = r[2];
|
|
|
|
double B = r[1];
|
|
|
|
double C = r[0];
|
|
|
|
A += C - 2 * B; // A = a - 2*b + c
|
|
|
|
B -= C; // B = -(b - c)
|
2012-09-14 14:19:30 +00:00
|
|
|
return quadraticRoots(A, B, C, intersections.fT[0]);
|
|
|
|
}
|
|
|
|
|
|
|
|
int intersect() {
|
|
|
|
int roots = intersectRay();
|
2012-08-24 15:24:36 +00:00
|
|
|
for (int index = 0; index < roots; ) {
|
|
|
|
double lineT = findLineT(intersections.fT[0][index]);
|
|
|
|
if (lineIntersects(lineT, index, roots)) {
|
|
|
|
++index;
|
2012-08-20 12:43:57 +00:00
|
|
|
}
|
|
|
|
}
|
2012-08-24 15:24:36 +00:00
|
|
|
return roots;
|
2012-01-25 18:57:23 +00:00
|
|
|
}
|
|
|
|
|
2012-03-30 18:47:02 +00:00
|
|
|
int horizontalIntersect(double axisIntercept) {
|
|
|
|
double D = quad[2].y; // f
|
|
|
|
double E = quad[1].y; // e
|
|
|
|
double F = quad[0].y; // d
|
|
|
|
D += F - 2 * E; // D = d - 2*e + f
|
|
|
|
E -= F; // E = -(d - e)
|
|
|
|
F -= axisIntercept;
|
2012-08-21 13:13:52 +00:00
|
|
|
return quadraticRoots(D, E, F, intersections.fT[0]);
|
2012-03-30 18:47:02 +00:00
|
|
|
}
|
|
|
|
|
2012-08-24 15:24:36 +00:00
|
|
|
int horizontalIntersect(double axisIntercept, double left, double right) {
|
|
|
|
int roots = horizontalIntersect(axisIntercept);
|
|
|
|
for (int index = 0; index < roots; ) {
|
|
|
|
double x;
|
|
|
|
xy_at_t(quad, intersections.fT[0][index], x, *(double*) NULL);
|
|
|
|
double lineT = (x - left) / (right - left);
|
|
|
|
if (lineIntersects(lineT, index, roots)) {
|
|
|
|
++index;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return roots;
|
|
|
|
}
|
|
|
|
|
2012-04-26 21:01:06 +00:00
|
|
|
int verticalIntersect(double axisIntercept) {
|
|
|
|
double D = quad[2].x; // f
|
|
|
|
double E = quad[1].x; // e
|
|
|
|
double F = quad[0].x; // d
|
|
|
|
D += F - 2 * E; // D = d - 2*e + f
|
|
|
|
E -= F; // E = -(d - e)
|
|
|
|
F -= axisIntercept;
|
2012-08-21 13:13:52 +00:00
|
|
|
return quadraticRoots(D, E, F, intersections.fT[0]);
|
2012-04-26 21:01:06 +00:00
|
|
|
}
|
|
|
|
|
2012-08-24 15:24:36 +00:00
|
|
|
int verticalIntersect(double axisIntercept, double top, double bottom) {
|
|
|
|
int roots = verticalIntersect(axisIntercept);
|
|
|
|
for (int index = 0; index < roots; ) {
|
|
|
|
double y;
|
|
|
|
xy_at_t(quad, intersections.fT[0][index], *(double*) NULL, y);
|
|
|
|
double lineT = (y - top) / (bottom - top);
|
|
|
|
if (lineIntersects(lineT, index, roots)) {
|
|
|
|
++index;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return roots;
|
|
|
|
}
|
|
|
|
|
2012-01-25 18:57:23 +00:00
|
|
|
protected:
|
2012-08-23 18:14:13 +00:00
|
|
|
|
2012-01-25 18:57:23 +00:00
|
|
|
double findLineT(double t) {
|
2012-09-14 14:19:30 +00:00
|
|
|
double x, y;
|
|
|
|
xy_at_t(quad, t, x, y);
|
|
|
|
if (approximately_equal(x, line[0].x) && approximately_equal(y, line[0].y)) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
if (approximately_equal(x, line[1].x) && approximately_equal(y, line[1].y)) {
|
|
|
|
return 1;
|
2012-01-25 18:57:23 +00:00
|
|
|
}
|
2012-09-14 14:19:30 +00:00
|
|
|
double dx = line[1].x - line[0].x;
|
|
|
|
double dy = line[1].y - line[0].y;
|
|
|
|
if (fabs(dx) > fabs(dy)) {
|
|
|
|
return (x - line[0].x) / dx;
|
|
|
|
}
|
|
|
|
return (y - line[0].y) / dy;
|
2012-01-25 18:57:23 +00:00
|
|
|
}
|
|
|
|
|
2012-08-24 15:24:36 +00:00
|
|
|
bool lineIntersects(double lineT, const int x, int& roots) {
|
|
|
|
if (!approximately_zero_or_more(lineT) || !approximately_one_or_less(lineT)) {
|
|
|
|
if (x < --roots) {
|
|
|
|
intersections.fT[0][x] = intersections.fT[0][roots];
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
if (approximately_less_than_zero(lineT)) {
|
|
|
|
lineT = 0;
|
|
|
|
} else if (approximately_greater_than_one(lineT)) {
|
|
|
|
lineT = 1;
|
|
|
|
}
|
|
|
|
intersections.fT[1][x] = lineT;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2012-01-25 18:57:23 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
const Quadratic& quad;
|
|
|
|
const _Line& line;
|
|
|
|
Intersections& intersections;
|
|
|
|
};
|
2012-03-30 18:47:02 +00:00
|
|
|
|
2012-04-26 21:01:06 +00:00
|
|
|
// utility for pairs of coincident quads
|
|
|
|
static double horizontalIntersect(const Quadratic& quad, const _Point& pt) {
|
|
|
|
Intersections intersections;
|
|
|
|
LineQuadraticIntersections q(quad, *((_Line*) 0), intersections);
|
2012-08-31 20:55:07 +00:00
|
|
|
int roots = q.horizontalIntersect(pt.y);
|
|
|
|
for (int index = 0; index < roots; ++index) {
|
|
|
|
double x;
|
|
|
|
double t = intersections.fT[0][index];
|
|
|
|
xy_at_t(quad, t, x, *(double*) 0);
|
|
|
|
if (approximately_equal(x, pt.x)) {
|
|
|
|
return t;
|
|
|
|
}
|
2012-04-26 21:01:06 +00:00
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static double verticalIntersect(const Quadratic& quad, const _Point& pt) {
|
|
|
|
Intersections intersections;
|
|
|
|
LineQuadraticIntersections q(quad, *((_Line*) 0), intersections);
|
2012-08-31 20:55:07 +00:00
|
|
|
int roots = q.verticalIntersect(pt.x);
|
|
|
|
for (int index = 0; index < roots; ++index) {
|
|
|
|
double y;
|
|
|
|
double t = intersections.fT[0][index];
|
|
|
|
xy_at_t(quad, t, *(double*) 0, y);
|
|
|
|
if (approximately_equal(y, pt.y)) {
|
|
|
|
return t;
|
|
|
|
}
|
2012-04-26 21:01:06 +00:00
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
double axialIntersect(const Quadratic& q1, const _Point& p, bool vertical) {
|
|
|
|
if (vertical) {
|
|
|
|
return verticalIntersect(q1, p);
|
|
|
|
}
|
|
|
|
return horizontalIntersect(q1, p);
|
|
|
|
}
|
|
|
|
|
2012-03-30 18:47:02 +00:00
|
|
|
int horizontalIntersect(const Quadratic& quad, double left, double right,
|
|
|
|
double y, double tRange[2]) {
|
|
|
|
Intersections i;
|
|
|
|
LineQuadraticIntersections q(quad, *((_Line*) 0), i);
|
|
|
|
int result = q.horizontalIntersect(y);
|
|
|
|
int tCount = 0;
|
|
|
|
for (int index = 0; index < result; ++index) {
|
|
|
|
double x, y;
|
|
|
|
xy_at_t(quad, i.fT[0][index], x, y);
|
|
|
|
if (x < left || x > right) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
tRange[tCount++] = i.fT[0][index];
|
|
|
|
}
|
|
|
|
return tCount;
|
|
|
|
}
|
|
|
|
|
2012-04-26 21:01:06 +00:00
|
|
|
int horizontalIntersect(const Quadratic& quad, double left, double right, double y,
|
|
|
|
bool flipped, Intersections& intersections) {
|
|
|
|
LineQuadraticIntersections q(quad, *((_Line*) 0), intersections);
|
2012-08-24 15:24:36 +00:00
|
|
|
int result = q.horizontalIntersect(y, left, right);
|
2012-04-26 21:01:06 +00:00
|
|
|
if (flipped) {
|
|
|
|
// OPTIMIZATION: instead of swapping, pass original line, use [1].x - [0].x
|
|
|
|
for (int index = 0; index < result; ++index) {
|
|
|
|
intersections.fT[1][index] = 1 - intersections.fT[1][index];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
int verticalIntersect(const Quadratic& quad, double top, double bottom, double x,
|
|
|
|
bool flipped, Intersections& intersections) {
|
|
|
|
LineQuadraticIntersections q(quad, *((_Line*) 0), intersections);
|
2012-08-24 15:24:36 +00:00
|
|
|
int result = q.verticalIntersect(x, top, bottom);
|
2012-04-26 21:01:06 +00:00
|
|
|
if (flipped) {
|
2012-08-24 15:24:36 +00:00
|
|
|
// OPTIMIZATION: instead of swapping, pass original line, use [1].y - [0].y
|
2012-04-26 21:01:06 +00:00
|
|
|
for (int index = 0; index < result; ++index) {
|
|
|
|
intersections.fT[1][index] = 1 - intersections.fT[1][index];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2012-08-24 15:24:36 +00:00
|
|
|
int intersect(const Quadratic& quad, const _Line& line, Intersections& i) {
|
2012-01-25 18:57:23 +00:00
|
|
|
LineQuadraticIntersections q(quad, line, i);
|
|
|
|
return q.intersect();
|
|
|
|
}
|
2012-09-14 14:19:30 +00:00
|
|
|
|
|
|
|
int intersectRay(const Quadratic& quad, const _Line& line, Intersections& i) {
|
|
|
|
LineQuadraticIntersections q(quad, line, i);
|
|
|
|
return q.intersectRay();
|
|
|
|
}
|