Pose3.h

Go to the documentation of this file.

/* ----------------------------------------------------------------------------

 * GTSAM Copyright 2010, Georgia Tech Research Corporation,
 * Atlanta, Georgia 30332-0415
 * All Rights Reserved
 * Authors: Frank Dellaert, et al. (see THANKS for the full author list)

 * See LICENSE for the license information

 * -------------------------------------------------------------------------- */

// \callgraph
#pragma once

#include <gtsam/config.h>

#include <gtsam/geometry/BearingRange.h>
#include <gtsam/geometry/Point3.h>
#include <gtsam/geometry/Rot3.h>
#include <gtsam/base/Lie.h>

namespace gtsam {

class Pose2;
// forward declare

class GTSAM_EXPORT Pose3: public LieGroup<Pose3, 6> {
public:

  typedef Rot3 Rotation;
  typedef Point3 Translation;

private:

  Rot3 R_; 
  Point3 t_; 

public:


 Pose3() : R_(traits<Rot3>::Identity()), t_(traits<Point3>::Identity()) {}

  Pose3(const Pose3& pose) :
      R_(pose.R_), t_(pose.t_) {
  }

  Pose3(const Rot3& R, const Point3& t) :
      R_(R), t_(t) {
  }

  explicit Pose3(const Pose2& pose2);

  Pose3(const Matrix &T) :
      R_(T(0, 0), T(0, 1), T(0, 2), T(1, 0), T(1, 1), T(1, 2), T(2, 0), T(2, 1),
          T(2, 2)), t_(T(0, 3), T(1, 3), T(2, 3)) {
  }

  static Pose3 Create(const Rot3& R, const Point3& t,
                      OptionalJacobian<6, 3> H1 = boost::none,
                      OptionalJacobian<6, 3> H2 = boost::none);

  static boost::optional<Pose3> Align(const std::vector<Point3Pair>& abPointPairs);


  void print(const std::string& s = "") const;

  bool equals(const Pose3& pose, double tol = 1e-9) const;


  static Pose3 identity() {
    return Pose3();
  }

  Pose3 inverse() const;

  Pose3 operator*(const Pose3& T) const {
    return Pose3(R_ * T.R_, t_ + R_ * T.t_);
  }


  static Pose3 Expmap(const Vector6& xi, OptionalJacobian<6, 6> H = boost::none);

  static Vector6 Logmap(const Pose3& p, OptionalJacobian<6, 6> H = boost::none);

  Matrix6 AdjointMap() const; 

  Vector6 Adjoint(const Vector6& xi_b) const {
    return AdjointMap() * xi_b;
  } 

  static Matrix6 adjointMap(const Vector6 &xi);

  static Vector6 adjoint(const Vector6 &xi, const Vector6 &y,
      OptionalJacobian<6, 6> = boost::none);

  static Vector6 adjointTranspose(const Vector6& xi, const Vector6& y,
      OptionalJacobian<6, 6> H = boost::none);

  static Matrix6 ExpmapDerivative(const Vector6& xi);

  static Matrix6 LogmapDerivative(const Pose3& xi);

  // Chart at origin, depends on compile-time flag GTSAM_POSE3_EXPMAP
  struct ChartAtOrigin {
    static Pose3 Retract(const Vector6& v, ChartJacobian H = boost::none);
    static Vector6 Local(const Pose3& r, ChartJacobian H = boost::none);
  };

  using LieGroup<Pose3, 6>::inverse; // version with derivative

  static Matrix wedge(double wx, double wy, double wz, double vx, double vy,
      double vz) {
    return (Matrix(4, 4) << 0., -wz, wy, vx, wz, 0., -wx, vy, -wy, wx, 0., vz, 0., 0., 0., 0.).finished();
  }


  Point3 transform_from(const Point3& p, OptionalJacobian<3, 6> Dpose =
      boost::none, OptionalJacobian<3, 3> Dpoint = boost::none) const;

  inline Point3 operator*(const Point3& p) const {
    return transform_from(p);
  }

  Point3 transform_to(const Point3& p, OptionalJacobian<3, 6> Dpose =
      boost::none, OptionalJacobian<3, 3> Dpoint = boost::none) const;


  const Rot3& rotation(OptionalJacobian<3, 6> H = boost::none) const;

  const Point3& translation(OptionalJacobian<3, 6> H = boost::none) const;

  double x() const {
    return t_.x();
  }

  double y() const {
    return t_.y();
  }

  double z() const {
    return t_.z();
  }

  Matrix4 matrix() const;

  Pose3 transform_to(const Pose3& pose) const;

  Pose3 transform_pose_to(const Pose3& pose, OptionalJacobian<6, 6> H1 = boost::none,
                                             OptionalJacobian<6, 6> H2 = boost::none) const;

  double range(const Point3& point, OptionalJacobian<1, 6> H1 = boost::none,
      OptionalJacobian<1, 3> H2 = boost::none) const;

  double range(const Pose3& pose, OptionalJacobian<1, 6> H1 = boost::none,
      OptionalJacobian<1, 6> H2 = boost::none) const;

  Unit3 bearing(const Point3& point, OptionalJacobian<2, 6> H1 = boost::none,
      OptionalJacobian<2, 3> H2 = boost::none) const;


  inline static std::pair<size_t, size_t> translationInterval() {
    return std::make_pair(3, 5);
  }

  static std::pair<size_t, size_t> rotationInterval() {
    return std::make_pair(0, 2);
  }

  GTSAM_EXPORT
  friend std::ostream &operator<<(std::ostream &os, const Pose3& p);

 private:
  friend class boost::serialization::access;
  template<class Archive>
  void serialize(Archive & ar, const unsigned int /*version*/) {
    ar & BOOST_SERIALIZATION_NVP(R_);
    ar & BOOST_SERIALIZATION_NVP(t_);
  }

};
// Pose3 class

template<>
inline Matrix wedge<Pose3>(const Vector& xi) {
  return Pose3::wedge(xi(0), xi(1), xi(2), xi(3), xi(4), xi(5));
}

GTSAM_EXPORT boost::optional<Pose3> align(const std::vector<Point3Pair>& baPointPairs);

// For MATLAB wrapper
typedef std::vector<Pose3> Pose3Vector;

template <>
struct traits<Pose3> : public internal::LieGroup<Pose3> {};

template <>
struct traits<const Pose3> : public internal::LieGroup<Pose3> {};

// bearing and range traits, used in RangeFactor
template <>
struct Bearing<Pose3, Point3> : HasBearing<Pose3, Point3, Unit3> {};

template <typename T>
struct Range<Pose3, T> : HasRange<Pose3, T, double> {};

}  // namespace gtsam