Hyperplane.h
Go to the documentation of this file.
1 // This file is part of Eigen, a lightweight C++ template library
2 // for linear algebra.
3 //
4 // Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr>
5 // Copyright (C) 2008 Benoit Jacob <jacob.benoit.1@gmail.com>
6 //
7 // This Source Code Form is subject to the terms of the Mozilla
8 // Public License v. 2.0. If a copy of the MPL was not distributed
9 // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
10 
11 #ifndef EIGEN_HYPERPLANE_H
12 #define EIGEN_HYPERPLANE_H
13 
14 namespace Eigen {
15 
33 template <typename _Scalar, int _AmbientDim, int _Options>
34 class Hyperplane
35 {
36 public:
37  EIGEN_MAKE_ALIGNED_OPERATOR_NEW_IF_VECTORIZABLE_FIXED_SIZE(_Scalar,_AmbientDim==Dynamic ? Dynamic : _AmbientDim+1)
38  enum {
39  AmbientDimAtCompileTime = _AmbientDim,
40  Options = _Options
41  };
42  typedef _Scalar Scalar;
44  typedef Eigen::Index Index;
47  ? Dynamic
51 
54 
55  template<int OtherOptions>
57  : m_coeffs(other.coeffs())
58  {}
59 
62  EIGEN_DEVICE_FUNC inline explicit Hyperplane(Index _dim) : m_coeffs(_dim+1) {}
63 
67  EIGEN_DEVICE_FUNC inline Hyperplane(const VectorType& n, const VectorType& e)
68  : m_coeffs(n.size()+1)
69  {
70  normal() = n;
71  offset() = -n.dot(e);
72  }
73 
78  EIGEN_DEVICE_FUNC inline Hyperplane(const VectorType& n, const Scalar& d)
79  : m_coeffs(n.size()+1)
80  {
81  normal() = n;
82  offset() = d;
83  }
84 
88  EIGEN_DEVICE_FUNC static inline Hyperplane Through(const VectorType& p0, const VectorType& p1)
89  {
90  Hyperplane result(p0.size());
91  result.normal() = (p1 - p0).unitOrthogonal();
92  result.offset() = -p0.dot(result.normal());
93  return result;
94  }
95 
99  EIGEN_DEVICE_FUNC static inline Hyperplane Through(const VectorType& p0, const VectorType& p1, const VectorType& p2)
100  {
102  Hyperplane result(p0.size());
103  VectorType v0(p2 - p0), v1(p1 - p0);
104  result.normal() = v0.cross(v1);
105  RealScalar norm = result.normal().norm();
106  if(norm <= v0.norm() * v1.norm() * NumTraits<RealScalar>::epsilon())
107  {
108  Matrix<Scalar,2,3> m; m << v0.transpose(), v1.transpose();
110  result.normal() = svd.matrixV().col(2);
111  }
112  else
113  result.normal() /= norm;
114  result.offset() = -p0.dot(result.normal());
115  return result;
116  }
117 
122  // FIXME to be consistent with the rest this could be implemented as a static Through function ??
124  {
125  normal() = parametrized.direction().unitOrthogonal();
126  offset() = -parametrized.origin().dot(normal());
127  }
128 
130 
133 
136  {
137  m_coeffs /= normal().norm();
138  }
139 
143  EIGEN_DEVICE_FUNC inline Scalar signedDistance(const VectorType& p) const { return normal().dot(p) + offset(); }
144 
148  EIGEN_DEVICE_FUNC inline Scalar absDistance(const VectorType& p) const { return numext::abs(signedDistance(p)); }
149 
152  EIGEN_DEVICE_FUNC inline VectorType projection(const VectorType& p) const { return p - signedDistance(p) * normal(); }
153 
157  EIGEN_DEVICE_FUNC inline ConstNormalReturnType normal() const { return ConstNormalReturnType(m_coeffs,0,0,dim(),1); }
158 
162  EIGEN_DEVICE_FUNC inline NormalReturnType normal() { return NormalReturnType(m_coeffs,0,0,dim(),1); }
163 
167  EIGEN_DEVICE_FUNC inline const Scalar& offset() const { return m_coeffs.coeff(dim()); }
168 
171  EIGEN_DEVICE_FUNC inline Scalar& offset() { return m_coeffs(dim()); }
172 
176  EIGEN_DEVICE_FUNC inline const Coefficients& coeffs() const { return m_coeffs; }
177 
181  EIGEN_DEVICE_FUNC inline Coefficients& coeffs() { return m_coeffs; }
182 
190  {
192  Scalar det = coeffs().coeff(0) * other.coeffs().coeff(1) - coeffs().coeff(1) * other.coeffs().coeff(0);
193  // since the line equations ax+by=c are normalized with a^2+b^2=1, the following tests
194  // whether the two lines are approximately parallel.
196  { // special case where the two lines are approximately parallel. Pick any point on the first line.
197  if(numext::abs(coeffs().coeff(1))>numext::abs(coeffs().coeff(0)))
198  return VectorType(coeffs().coeff(1), -coeffs().coeff(2)/coeffs().coeff(1)-coeffs().coeff(0));
199  else
200  return VectorType(-coeffs().coeff(2)/coeffs().coeff(0)-coeffs().coeff(1), coeffs().coeff(0));
201  }
202  else
203  { // general case
204  Scalar invdet = Scalar(1) / det;
205  return VectorType(invdet*(coeffs().coeff(1)*other.coeffs().coeff(2)-other.coeffs().coeff(1)*coeffs().coeff(2)),
206  invdet*(other.coeffs().coeff(0)*coeffs().coeff(2)-coeffs().coeff(0)*other.coeffs().coeff(2)));
207  }
208  }
209 
216  template<typename XprType>
218  {
219  if (traits==Affine)
220  {
221  normal() = mat.inverse().transpose() * normal();
222  m_coeffs /= normal().norm();
223  }
224  else if (traits==Isometry)
225  normal() = mat * normal();
226  else
227  {
228  eigen_assert(0 && "invalid traits value in Hyperplane::transform()");
229  }
230  return *this;
231  }
232 
240  template<int TrOptions>
242  TransformTraits traits = Affine)
243  {
244  transform(t.linear(), traits);
245  offset() -= normal().dot(t.translation());
246  return *this;
247  }
248 
254  template<typename NewScalarType>
257  {
258  return typename internal::cast_return_type<Hyperplane,
260  }
261 
263  template<typename OtherScalarType,int OtherOptions>
265  { m_coeffs = other.coeffs().template cast<Scalar>(); }
266 
271  template<int OtherOptions>
273  { return m_coeffs.isApprox(other.m_coeffs, prec); }
274 
275 protected:
276 
277  Coefficients m_coeffs;
278 };
279 
280 } // end namespace Eigen
281 
282 #endif // EIGEN_HYPERPLANE_H
EIGEN_DEVICE_FUNC VectorType intersection(const Hyperplane &other) const
Definition: Hyperplane.h:189
Matrix3f m
EIGEN_DEVICE_FUNC Hyperplane & transform(const MatrixBase< XprType > &mat, TransformTraits traits=Affine)
Definition: Hyperplane.h:217
cout<< "Here is the matrix m:"<< endl<< m<< endl;JacobiSVD< MatrixXf > svd(m, ComputeThinU|ComputeThinV)
EIGEN_DEVICE_FUNC bool isMuchSmallerThan(const Scalar &x, const OtherScalar &y, const typename NumTraits< Scalar >::Real &precision=NumTraits< Scalar >::dummy_precision())
Matrix< Scalar, Index(AmbientDimAtCompileTime)==Dynamic ? Dynamic :Index(AmbientDimAtCompileTime)+1, 1, Options > Coefficients
Definition: Hyperplane.h:48
Vector v1
Vector3f p1
static EIGEN_DEVICE_FUNC Hyperplane Through(const VectorType &p0, const VectorType &p1)
Definition: Hyperplane.h:88
EIGEN_DEVICE_FUNC const VectorType & origin() const
EIGEN_DEVICE_FUNC Index dim() const
Definition: Hyperplane.h:132
EIGEN_DEVICE_FUNC VectorType projection(const VectorType &p) const
Definition: Hyperplane.h:152
int n
EIGEN_DEVICE_FUNC Hyperplane(const Hyperplane< OtherScalarType, AmbientDimAtCompileTime, OtherOptions > &other)
Definition: Hyperplane.h:264
EIGEN_DEVICE_FUNC const Inverse< Derived > inverse() const
Definition: InverseImpl.h:348
Namespace containing all symbols from the Eigen library.
Definition: jet.h:637
Vector3f p0
Holds information about the various numeric (i.e. scalar) types allowed by Eigen. ...
Definition: NumTraits.h:232
NumTraits< Scalar >::Real RealScalar
Definition: Hyperplane.h:43
EIGEN_DEVICE_FUNC const VectorType & direction() const
EIGEN_DEVICE_FUNC Hyperplane(const Hyperplane< Scalar, AmbientDimAtCompileTime, OtherOptions > &other)
Definition: Hyperplane.h:56
#define EIGEN_MAKE_ALIGNED_OPERATOR_NEW_IF_VECTORIZABLE_FIXED_SIZE(Scalar, Size)
Definition: Memory.h:842
static double epsilon
Definition: testRot3.cpp:37
EIGEN_DEVICE_FUNC Hyperplane(const ParametrizedLine< Scalar, AmbientDimAtCompileTime > &parametrized)
Definition: Hyperplane.h:123
EIGEN_DEVICE_FUNC const Coefficients & coeffs() const
Definition: Hyperplane.h:176
EIGEN_DEVICE_FUNC Hyperplane(Index _dim)
Definition: Hyperplane.h:62
Scalar Scalar int size
Definition: benchVecAdd.cpp:17
EIGEN_DEVICE_FUNC Scalar absDistance(const VectorType &p) const
Definition: Hyperplane.h:148
EIGEN_DEVICE_FUNC EIGEN_ALWAYS_INLINE internal::enable_if< NumTraits< T >::IsSigned||NumTraits< T >::IsComplex, typename NumTraits< T >::Real >::type abs(const T &x)
Values result
EIGEN_DEVICE_FUNC ConstTranslationPart translation() const
Definition: Transform.h:404
EIGEN_DEVICE_FUNC Hyperplane()
Definition: Hyperplane.h:53
TransformTraits
Definition: Constants.h:455
EIGEN_DEVICE_FUNC ConstLinearPart linear() const
Definition: Transform.h:394
Coefficients m_coeffs
Definition: Hyperplane.h:277
const Block< const Coefficients, AmbientDimAtCompileTime, 1 > ConstNormalReturnType
Definition: Hyperplane.h:50
Eigen::Index Index
Definition: Hyperplane.h:44
EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE const Scalar & coeff(Index rowId, Index colId) const
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition: Meta.h:74
#define eigen_assert(x)
Definition: Macros.h:1037
EIGEN_DEVICE_FUNC Scalar signedDistance(const VectorType &p) const
Definition: Hyperplane.h:143
EIGEN_DEVICE_FUNC ConstNormalReturnType normal() const
Definition: Hyperplane.h:157
EIGEN_DEVICE_FUNC NormalReturnType normal()
Definition: Hyperplane.h:162
Array< double, 1, 3 > e(1./3., 0.5, 2.)
Matrix< Scalar, AmbientDimAtCompileTime, 1 > VectorType
Definition: Hyperplane.h:45
EIGEN_DEVICE_FUNC Hyperplane & transform(const Transform< Scalar, AmbientDimAtCompileTime, Affine, TrOptions > &t, TransformTraits traits=Affine)
Definition: Hyperplane.h:241
EIGEN_DEVICE_FUNC const Scalar & offset() const
Definition: Hyperplane.h:167
EIGEN_DEVICE_FUNC Coefficients & coeffs()
Definition: Hyperplane.h:181
static EIGEN_DEVICE_FUNC Hyperplane Through(const VectorType &p0, const VectorType &p1, const VectorType &p2)
Definition: Hyperplane.h:99
#define EIGEN_DEVICE_FUNC
Definition: Macros.h:976
Expression of a fixed-size or dynamic-size block.
Definition: Block.h:103
static const double v0
EIGEN_DEVICE_FUNC void normalize(void)
Definition: Hyperplane.h:135
Two-sided Jacobi SVD decomposition of a rectangular matrix.
float * p
EIGEN_DEVICE_FUNC Hyperplane(const VectorType &n, const VectorType &e)
Definition: Hyperplane.h:67
static Point3 p2
EIGEN_DEVICE_FUNC Hyperplane(const VectorType &n, const Scalar &d)
Definition: Hyperplane.h:78
EIGEN_DEVICE_FUNC bool isApprox(const Hyperplane< Scalar, AmbientDimAtCompileTime, OtherOptions > &other, const typename NumTraits< Scalar >::Real &prec=NumTraits< Scalar >::dummy_precision()) const
Definition: Hyperplane.h:272
const int Dynamic
Definition: Constants.h:22
Block< Coefficients, AmbientDimAtCompileTime, 1 > NormalReturnType
Definition: Hyperplane.h:49
EIGEN_DEVICE_FUNC ~Hyperplane()
Definition: Hyperplane.h:129
Base class for all dense matrices, vectors, and expressions.
Definition: MatrixBase.h:48
A parametrized line.
Represents an homogeneous transformation in a N dimensional space.
Point2 t(10, 10)
Definition: pytypes.h:1370
EIGEN_DEVICE_FUNC internal::cast_return_type< Hyperplane, Hyperplane< NewScalarType, AmbientDimAtCompileTime, Options > >::type cast() const
Definition: Hyperplane.h:256
#define EIGEN_STATIC_ASSERT_VECTOR_SPECIFIC_SIZE(TYPE, SIZE)
Definition: StaticAssert.h:157
EIGEN_DEVICE_FUNC Scalar & offset()
Definition: Hyperplane.h:171


gtsam
Author(s):
autogenerated on Tue Jul 4 2023 02:34:21