| 1 | /*
|
|---|
| 2 | * Plane.cpp
|
|---|
| 3 | *
|
|---|
| 4 | * Created on: Apr 7, 2010
|
|---|
| 5 | * Author: crueger
|
|---|
| 6 | */
|
|---|
| 7 |
|
|---|
| 8 | // include config.h
|
|---|
| 9 | #ifdef HAVE_CONFIG_H
|
|---|
| 10 | #include <config.h>
|
|---|
| 11 | #endif
|
|---|
| 12 |
|
|---|
| 13 | #include "Helpers/MemDebug.hpp"
|
|---|
| 14 |
|
|---|
| 15 | #include "LinearAlgebra/Plane.hpp"
|
|---|
| 16 | #include "LinearAlgebra/Vector.hpp"
|
|---|
| 17 | #include "defs.hpp"
|
|---|
| 18 | #include "Helpers/Info.hpp"
|
|---|
| 19 | #include "Helpers/Log.hpp"
|
|---|
| 20 | #include "Helpers/Verbose.hpp"
|
|---|
| 21 | #include "Helpers/Assert.hpp"
|
|---|
| 22 | #include <cmath>
|
|---|
| 23 | #include "LinearAlgebra/Line.hpp"
|
|---|
| 24 | #include "Exceptions/MultipleSolutionsException.hpp"
|
|---|
| 25 |
|
|---|
| 26 | /**
|
|---|
| 27 | * generates a plane from three given vectors defining three points in space
|
|---|
| 28 | */
|
|---|
| 29 | Plane::Plane(const Vector &y1, const Vector &y2, const Vector &y3) throw(LinearDependenceException) :
|
|---|
| 30 | normalVector(new Vector())
|
|---|
| 31 | {
|
|---|
| 32 | Vector x1 = y1 -y2;
|
|---|
| 33 | Vector x2 = y3 -y2;
|
|---|
| 34 | if ((fabs(x1.Norm()) < MYEPSILON) || (fabs(x2.Norm()) < MYEPSILON) || (fabs(x1.Angle(x2)) < MYEPSILON)) {
|
|---|
| 35 | throw LinearDependenceException(__FILE__,__LINE__);
|
|---|
| 36 | }
|
|---|
| 37 | // Log() << Verbose(4) << "relative, first plane coordinates:";
|
|---|
| 38 | // x1.Output((ofstream *)&cout);
|
|---|
| 39 | // Log() << Verbose(0) << endl;
|
|---|
| 40 | // Log() << Verbose(4) << "second plane coordinates:";
|
|---|
| 41 | // x2.Output((ofstream *)&cout);
|
|---|
| 42 | // Log() << Verbose(0) << endl;
|
|---|
| 43 |
|
|---|
| 44 | normalVector->at(0) = (x1[1]*x2[2] - x1[2]*x2[1]);
|
|---|
| 45 | normalVector->at(1) = (x1[2]*x2[0] - x1[0]*x2[2]);
|
|---|
| 46 | normalVector->at(2) = (x1[0]*x2[1] - x1[1]*x2[0]);
|
|---|
| 47 | normalVector->Normalize();
|
|---|
| 48 |
|
|---|
| 49 | offset=normalVector->ScalarProduct(y1);
|
|---|
| 50 | }
|
|---|
| 51 | /**
|
|---|
| 52 | * Constructs a plane from two direction vectors and a offset.
|
|---|
| 53 | */
|
|---|
| 54 | Plane::Plane(const Vector &y1, const Vector &y2, double _offset) throw(ZeroVectorException,LinearDependenceException) :
|
|---|
| 55 | normalVector(new Vector()),
|
|---|
| 56 | offset(_offset)
|
|---|
| 57 | {
|
|---|
| 58 | Vector x1 = y1;
|
|---|
| 59 | Vector x2 = y2;
|
|---|
| 60 | if ((fabs(x1.Norm()) < MYEPSILON) || (fabs(x2.Norm()) < MYEPSILON)) {
|
|---|
| 61 | throw ZeroVectorException(__FILE__,__LINE__);
|
|---|
| 62 | }
|
|---|
| 63 |
|
|---|
| 64 | if((fabs(x1.Angle(x2)) < MYEPSILON)) {
|
|---|
| 65 | throw LinearDependenceException(__FILE__,__LINE__);
|
|---|
| 66 | }
|
|---|
| 67 | // Log() << Verbose(4) << "relative, first plane coordinates:";
|
|---|
| 68 | // x1.Output((ofstream *)&cout);
|
|---|
| 69 | // Log() << Verbose(0) << endl;
|
|---|
| 70 | // Log() << Verbose(4) << "second plane coordinates:";
|
|---|
| 71 | // x2.Output((ofstream *)&cout);
|
|---|
| 72 | // Log() << Verbose(0) << endl;
|
|---|
| 73 |
|
|---|
| 74 | normalVector->at(0) = (x1[1]*x2[2] - x1[2]*x2[1]);
|
|---|
| 75 | normalVector->at(1) = (x1[2]*x2[0] - x1[0]*x2[2]);
|
|---|
| 76 | normalVector->at(2) = (x1[0]*x2[1] - x1[1]*x2[0]);
|
|---|
| 77 | normalVector->Normalize();
|
|---|
| 78 | }
|
|---|
| 79 |
|
|---|
| 80 | Plane::Plane(const Vector &_normalVector, double _offset) throw(ZeroVectorException):
|
|---|
| 81 | normalVector(new Vector(_normalVector)),
|
|---|
| 82 | offset(_offset)
|
|---|
| 83 | {
|
|---|
| 84 | if(normalVector->IsZero())
|
|---|
| 85 | throw ZeroVectorException(__FILE__,__LINE__);
|
|---|
| 86 | double factor = 1/normalVector->Norm();
|
|---|
| 87 | // normalize the plane parameters
|
|---|
| 88 | (*normalVector)*=factor;
|
|---|
| 89 | offset*=factor;
|
|---|
| 90 | }
|
|---|
| 91 |
|
|---|
| 92 | Plane::Plane(const Vector &_normalVector, const Vector &_offsetVector) throw(ZeroVectorException):
|
|---|
| 93 | normalVector(new Vector(_normalVector))
|
|---|
| 94 | {
|
|---|
| 95 | if(normalVector->IsZero()){
|
|---|
| 96 | throw ZeroVectorException(__FILE__,__LINE__);
|
|---|
| 97 | }
|
|---|
| 98 | normalVector->Normalize();
|
|---|
| 99 | offset = normalVector->ScalarProduct(_offsetVector);
|
|---|
| 100 | }
|
|---|
| 101 |
|
|---|
| 102 | /**
|
|---|
| 103 | * copy constructor
|
|---|
| 104 | */
|
|---|
| 105 | Plane::Plane(const Plane& plane) :
|
|---|
| 106 | normalVector(new Vector(*plane.normalVector)),
|
|---|
| 107 | offset(plane.offset)
|
|---|
| 108 | {}
|
|---|
| 109 |
|
|---|
| 110 |
|
|---|
| 111 | Plane::~Plane()
|
|---|
| 112 | {}
|
|---|
| 113 |
|
|---|
| 114 |
|
|---|
| 115 | Vector Plane::getNormal() const{
|
|---|
| 116 | return *normalVector;
|
|---|
| 117 | }
|
|---|
| 118 |
|
|---|
| 119 | double Plane::getOffset() const{
|
|---|
| 120 | return offset;
|
|---|
| 121 | }
|
|---|
| 122 |
|
|---|
| 123 | Vector Plane::getOffsetVector() const {
|
|---|
| 124 | return getOffset()*getNormal();
|
|---|
| 125 | }
|
|---|
| 126 |
|
|---|
| 127 | vector<Vector> Plane::getPointsOnPlane() const{
|
|---|
| 128 | std::vector<Vector> res;
|
|---|
| 129 | res.reserve(3);
|
|---|
| 130 | // first point on the plane
|
|---|
| 131 | res.push_back(getOffsetVector());
|
|---|
| 132 | // get a vector that has direction of plane
|
|---|
| 133 | Vector direction;
|
|---|
| 134 | direction.GetOneNormalVector(getNormal());
|
|---|
| 135 | res.push_back(res[0]+direction);
|
|---|
| 136 | // get an orthogonal vector to direction and normal (has direction of plane)
|
|---|
| 137 | direction.VectorProduct(getNormal());
|
|---|
| 138 | direction.Normalize();
|
|---|
| 139 | res.push_back(res[0] +direction);
|
|---|
| 140 | return res;
|
|---|
| 141 | }
|
|---|
| 142 |
|
|---|
| 143 |
|
|---|
| 144 | /** Calculates the intersection point between a line defined by \a *LineVector and \a *LineVector2 and a plane defined by \a *Normal and \a *PlaneOffset.
|
|---|
| 145 | * According to [Bronstein] the vectorial plane equation is:
|
|---|
| 146 | * -# \f$\stackrel{r}{\rightarrow} \cdot \stackrel{N}{\rightarrow} + D = 0\f$,
|
|---|
| 147 | * where \f$\stackrel{r}{\rightarrow}\f$ is the vector to be testet, \f$\stackrel{N}{\rightarrow}\f$ is the plane's normal vector and
|
|---|
| 148 | * \f$D = - \stackrel{a}{\rightarrow} \stackrel{N}{\rightarrow}\f$, the offset with respect to origin, if \f$\stackrel{a}{\rightarrow}\f$,
|
|---|
| 149 | * is an offset vector onto the plane. The line is parametrized by \f$\stackrel{x}{\rightarrow} + k \stackrel{t}{\rightarrow}\f$, where
|
|---|
| 150 | * \f$\stackrel{x}{\rightarrow}\f$ is the offset and \f$\stackrel{t}{\rightarrow}\f$ the directional vector (NOTE: No need to normalize
|
|---|
| 151 | * the latter). Inserting the parametrized form into the plane equation and solving for \f$k\f$, which we insert then into the parametrization
|
|---|
| 152 | * of the line yields the intersection point on the plane.
|
|---|
| 153 | * \param *Origin first vector of line
|
|---|
| 154 | * \param *LineVector second vector of line
|
|---|
| 155 | * \return true - \a this contains intersection point on return, false - line is parallel to plane (even if in-plane)
|
|---|
| 156 | */
|
|---|
| 157 | Vector Plane::GetIntersection(const Line& line) const
|
|---|
| 158 | {
|
|---|
| 159 | Info FunctionInfo(__func__);
|
|---|
| 160 | Vector res;
|
|---|
| 161 |
|
|---|
| 162 | double factor1 = getNormal().ScalarProduct(line.getDirection());
|
|---|
| 163 | if(fabs(factor1)<MYEPSILON){
|
|---|
| 164 | // the plane is parallel... under all circumstances this is bad luck
|
|---|
| 165 | // we no have either no or infinite solutions
|
|---|
| 166 | if(isContained(line.getOrigin())){
|
|---|
| 167 | throw MultipleSolutionsException<Vector>(__FILE__,__LINE__,line.getOrigin());
|
|---|
| 168 | }
|
|---|
| 169 | else{
|
|---|
| 170 | throw LinearDependenceException(__FILE__,__LINE__);
|
|---|
| 171 | }
|
|---|
| 172 | }
|
|---|
| 173 |
|
|---|
| 174 | double factor2 = getNormal().ScalarProduct(line.getOrigin());
|
|---|
| 175 | double scaleFactor = (offset-factor2)/factor1;
|
|---|
| 176 |
|
|---|
| 177 | res = line.getOrigin() + scaleFactor * line.getDirection();
|
|---|
| 178 |
|
|---|
| 179 | // tests to make sure the resulting vector really is on plane and line
|
|---|
| 180 | ASSERT(isContained(res),"Calculated line-Plane intersection does not lie on plane.");
|
|---|
| 181 | ASSERT(line.isContained(res),"Calculated line-Plane intersection does not lie on line.");
|
|---|
| 182 | return res;
|
|---|
| 183 | };
|
|---|
| 184 |
|
|---|
| 185 | Vector Plane::mirrorVector(const Vector &rhs) const {
|
|---|
| 186 | Vector helper = getVectorToPoint(rhs);
|
|---|
| 187 | // substract twice the Vector to the plane
|
|---|
| 188 | return rhs+2*helper;
|
|---|
| 189 | }
|
|---|
| 190 |
|
|---|
| 191 | Line Plane::getOrthogonalLine(const Vector &origin) const{
|
|---|
| 192 | return Line(origin,getNormal());
|
|---|
| 193 | }
|
|---|
| 194 |
|
|---|
| 195 | /************ Methods inherited from Space ****************/
|
|---|
| 196 |
|
|---|
| 197 | double Plane::distance(const Vector &point) const{
|
|---|
| 198 | double res = point.ScalarProduct(*normalVector)-offset;
|
|---|
| 199 | return fabs(res);
|
|---|
| 200 | }
|
|---|
| 201 |
|
|---|
| 202 | Vector Plane::getClosestPoint(const Vector &point) const{
|
|---|
| 203 | double factor = point.ScalarProduct(*normalVector)-offset;
|
|---|
| 204 | if(fabs(factor) < MYEPSILON){
|
|---|
| 205 | // the point itself lies on the plane
|
|---|
| 206 | return point;
|
|---|
| 207 | }
|
|---|
| 208 | Vector difference = factor * (*normalVector);
|
|---|
| 209 | return (point - difference);
|
|---|
| 210 | }
|
|---|
| 211 |
|
|---|
| 212 | // Operators
|
|---|
| 213 |
|
|---|
| 214 | ostream &operator << (ostream &ost,const Plane &p){
|
|---|
| 215 | ost << "<" << p.getNormal() << ";x> - " << p.getOffset() << "=0";
|
|---|
| 216 | return ost;
|
|---|
| 217 | }
|
|---|