11#include <gtsam/geometry/Unit3.h>
35 return Vector3(p.x(), p.y(), 1);
47 R_(aRb), t_(aTb), E_(t_.skew() * R_.
matrix()) {
60 template<
typename Engine>
73 GTSAM_EXPORT
void print(
const std::string& s =
"")
const;
77 return R_.
equals(other.R_, tol)
78 && t_.
equals(other.t_, tol);
85 enum { dimension = 5 };
86 inline static size_t Dim() {
return dimension;}
87 inline size_t dim()
const {
return dimension;}
89 typedef OptionalJacobian<dimension, dimension> ChartJacobian;
159 return E.rotate(cRb);
163 GTSAM_EXPORT
double error(
const Vector3& vA,
const Vector3& vB,
185 template<
class ARCHIVE>
186 void serialize(ARCHIVE & ar,
const unsigned int ) {
187 ar & BOOST_SERIALIZATION_NVP(R_);
188 ar & BOOST_SERIALIZATION_NVP(t_);
190 ar & boost::serialization::make_nvp(
"E11", E_(0, 0));
191 ar & boost::serialization::make_nvp(
"E12", E_(0, 1));
192 ar & boost::serialization::make_nvp(
"E13", E_(0, 2));
193 ar & boost::serialization::make_nvp(
"E21", E_(1, 0));
194 ar & boost::serialization::make_nvp(
"E22", E_(1, 1));
195 ar & boost::serialization::make_nvp(
"E23", E_(1, 2));
196 ar & boost::serialization::make_nvp(
"E31", E_(2, 0));
197 ar & boost::serialization::make_nvp(
"E32", E_(2, 1));
198 ar & boost::serialization::make_nvp(
"E33", E_(2, 2));
#define GTSAM_MAKE_ALIGNED_OPERATOR_NEW
This marks a GTSAM object to require alignment.
Definition: types.h:277
Base class and basic functions for Manifold types.
Global functions in a separate testing namespace.
Definition: chartTesting.h:28
Vector2 Point2
As of GTSAM 4, in order to make GTSAM more lean, it is now possible to just typedef Point2 to Vector2...
Definition: Point2.h:27
Vector3 Point3
As of GTSAM 4, in order to make GTSAM more lean, it is now possible to just typedef Point3 to Vector3...
Definition: Point3.h:35
A manifold defines a space in which there is a notion of a linear tangent space that can be centered ...
Definition: concepts.h:30
TangentVector localCoordinates(const Class &g) const
localCoordinates as required by manifold concept: finds tangent vector between *this and g
Definition: Lie.h:136
Class retract(const TangentVector &v) const
retract as required by manifold concept: applies v at *this
Definition: Lie.h:131
Both ManifoldTraits and Testable.
Definition: Manifold.h:120
OptionalJacobian is an Eigen::Ref like class that can take be constructed using either a fixed size o...
Definition: OptionalJacobian.h:39
An essential matrix is like a Pose3, except with translation up to scale It is named after the 3*3 ma...
Definition: EssentialMatrix.h:26
friend EssentialMatrix operator*(const Rot3 &cRb, const EssentialMatrix &E)
Given essential matrix E in camera frame B, convert to body frame C.
Definition: EssentialMatrix.h:158
const Rot3 & rotation() const
Rotation.
Definition: EssentialMatrix.h:110
Vector5 localCoordinates(const EssentialMatrix &other) const
Compute the coordinates in the tangent space.
Definition: EssentialMatrix.h:97
bool equals(const EssentialMatrix &other, double tol=1e-8) const
assert equality up to a tolerance
Definition: EssentialMatrix.h:76
EssentialMatrix()
Default constructor.
Definition: EssentialMatrix.h:42
static GTSAM_EXPORT EssentialMatrix FromPose3(const Pose3 &_1P2_, OptionalJacobian< 5, 6 > H=boost::none)
Named constructor converting a Pose3 with scale to EssentialMatrix (no scale)
Definition: EssentialMatrix.cpp:27
GTSAM_EXPORT friend std::istream & operator>>(std::istream &is, EssentialMatrix &E)
stream from stream
Definition: EssentialMatrix.cpp:126
static EssentialMatrix Random(Engine &rng)
Random, using Rot3::Random and Unit3::Random.
Definition: EssentialMatrix.h:61
static GTSAM_EXPORT EssentialMatrix FromRotationAndDirection(const Rot3 &aRb, const Unit3 &aTb, OptionalJacobian< 5, 3 > H1=boost::none, OptionalJacobian< 5, 2 > H2=boost::none)
Named constructor with derivatives.
Definition: EssentialMatrix.cpp:16
GTSAM_EXPORT double error(const Vector3 &vA, const Vector3 &vB, OptionalJacobian< 1, 5 > H=boost::none) const
epipolar error, algebraic
Definition: EssentialMatrix.cpp:104
EssentialMatrix retract(const Vector5 &xi) const
Retract delta to manifold.
Definition: EssentialMatrix.h:92
EssentialMatrix(const Rot3 &aRb, const Unit3 &aTb)
Construct from rotation and translation.
Definition: EssentialMatrix.h:46
GTSAM_EXPORT void print(const std::string &s="") const
print with optional string
Definition: EssentialMatrix.cpp:48
static Vector3 Homogeneous(const Point2 &p)
Static function to convert Point2 to homogeneous coordinates.
Definition: EssentialMatrix.h:34
const Unit3 & epipole_a() const
Return epipole in image_a , as Unit3 to allow for infinity.
Definition: EssentialMatrix.h:125
const Unit3 & direction() const
Direction.
Definition: EssentialMatrix.h:115
friend class boost::serialization::access
Serialization function.
Definition: EssentialMatrix.h:184
GTSAM_EXPORT Point3 transformTo(const Point3 &p, OptionalJacobian< 3, 5 > DE=boost::none, OptionalJacobian< 3, 3 > Dpoint=boost::none) const
takes point in world coordinates and transforms it to pose with |t|==1
Definition: EssentialMatrix.cpp:55
Unit3 epipole_b() const
Return epipole in image_b, as Unit3 to allow for infinity.
Definition: EssentialMatrix.h:130
GTSAM_EXPORT friend std::ostream & operator<<(std::ostream &os, const EssentialMatrix &E)
stream to stream
Definition: EssentialMatrix.cpp:117
const Matrix3 & matrix() const
Return 3*3 matrix representation.
Definition: EssentialMatrix.h:120
GTSAM_EXPORT EssentialMatrix rotate(const Rot3 &cRb, OptionalJacobian< 5, 5 > HE=boost::none, OptionalJacobian< 5, 3 > HR=boost::none) const
Given essential matrix E in camera frame B, convert to body frame C.
Definition: EssentialMatrix.cpp:73
bool equals(const Rot3 &p, double tol=1e-9) const
equals with an tolerance
Definition: Rot3.cpp:100
Point3 unrotate(const Point3 &p, OptionalJacobian< 3, 3 > H1=boost::none, OptionalJacobian< 3, 3 > H2=boost::none) const
rotate point from world to rotated frame
Definition: Rot3.cpp:136
static Rot3 Random(std::mt19937 &rng)
Random, generates a random axis, then random angle \in [-p,pi] Example: std::mt19937 engine(42); Unit...
Definition: Rot3.cpp:40
Represents a 3D point on a unit sphere.
Definition: Unit3.h:42
GTSAM_EXPORT Unit3 retract(const Vector2 &v, OptionalJacobian< 2, 2 > H=boost::none) const
The retract function.
Definition: Unit3.cpp:247
bool equals(const Unit3 &s, double tol=1e-9) const
The equals function with tolerance.
Definition: Unit3.h:121
static GTSAM_EXPORT Unit3 Random(std::mt19937 &rng)
Random direction, using boost::uniform_on_sphere Example: std::mt19937 engine(42); Unit3 unit = Unit3...
Definition: Unit3.cpp:47
GTSAM_EXPORT Vector2 localCoordinates(const Unit3 &s) const
The local coordinates function.
Definition: Unit3.cpp:277