EssentialMatrix.h

/*
 * @file EssentialMatrix.h
 * @brief EssentialMatrix class
 * @author Frank Dellaert
 * @date December 17, 2013
 */

#pragma once

#include <gtsam/geometry/Pose3.h>
#include <gtsam/geometry/Unit3.h>
#include <gtsam/geometry/Point2.h>
#include <gtsam/base/Manifold.h>
#include <iosfwd>

namespace gtsam {

class GTSAM_EXPORT EssentialMatrix : private ProductManifold<Rot3, Unit3> {

private:
  typedef ProductManifold<Rot3, Unit3> Base;
  Matrix3 E_; 

  EssentialMatrix(const Base& base) :
      Base(base), E_(direction().skew() * rotation().matrix()) {
  }

public:

  static Vector3 Homogeneous(const Point2& p) {
    return Vector3(p.x(), p.y(), 1);
  }


  EssentialMatrix() :
      Base(Rot3(), Unit3(1, 0, 0)), E_(direction().skew()) {
  }

  EssentialMatrix(const Rot3& aRb, const Unit3& aTb) :
      Base(aRb, aTb), E_(direction().skew() * rotation().matrix()) {
  }

  static EssentialMatrix FromRotationAndDirection(const Rot3& aRb, const Unit3& aTb,
                                                  OptionalJacobian<5, 3> H1 = boost::none,
                                                  OptionalJacobian<5, 2> H2 = boost::none);

  static EssentialMatrix FromPose3(const Pose3& _1P2_,
      OptionalJacobian<5, 6> H = boost::none);

  template<typename Engine>
  static EssentialMatrix Random(Engine & rng) {
    return EssentialMatrix(Rot3::Random(rng), Unit3::Random(rng));
  }

  virtual ~EssentialMatrix() {}



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

  bool equals(const EssentialMatrix& other, double tol = 1e-8) const {
    return rotation().equals(other.rotation(), tol)
        && direction().equals(other.direction(), tol);
  }



  using Base::dimension;
  using Base::dim;
  using Base::Dim;

  EssentialMatrix retract(const TangentVector& v) const {
    return Base::retract(v);
  }

  TangentVector localCoordinates(const EssentialMatrix& other) const {
    return Base::localCoordinates(other);
  }


  inline const Rot3& rotation() const {
    return this->first;
  }

  inline const Unit3& direction() const {
    return this->second;
  }

  inline const Matrix3& matrix() const {
    return E_;
  }

  inline const Unit3& epipole_a() const {
    return direction();
  }

  inline Unit3 epipole_b() const {
    return rotation().unrotate(direction());
  }

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

  EssentialMatrix rotate(const Rot3& cRb, OptionalJacobian<5, 5> HE =
      boost::none, OptionalJacobian<5, 3> HR = boost::none) const;

  friend EssentialMatrix operator*(const Rot3& cRb, const EssentialMatrix& E) {
    return E.rotate(cRb);
  }

  double error(const Vector3& vA, const Vector3& vB, //
      OptionalJacobian<1,5> H = boost::none) const;



  GTSAM_EXPORT friend std::ostream& operator <<(std::ostream& os, const EssentialMatrix& E);

  GTSAM_EXPORT friend std::istream& operator >>(std::istream& is, EssentialMatrix& E);


private:


  friend class boost::serialization::access;
  template<class ARCHIVE>
    void serialize(ARCHIVE & ar, const unsigned int /*version*/) {
      ar & BOOST_SERIALIZATION_NVP(first);
      ar & BOOST_SERIALIZATION_NVP(second);

      ar & boost::serialization::make_nvp("E11", E_(0,0));
      ar & boost::serialization::make_nvp("E12", E_(0,1));
      ar & boost::serialization::make_nvp("E13", E_(0,2));
      ar & boost::serialization::make_nvp("E21", E_(1,0));
      ar & boost::serialization::make_nvp("E22", E_(1,1));
      ar & boost::serialization::make_nvp("E23", E_(1,2));
      ar & boost::serialization::make_nvp("E31", E_(2,0));
      ar & boost::serialization::make_nvp("E32", E_(2,1));
      ar & boost::serialization::make_nvp("E33", E_(2,2));
    }

};

template<>
struct traits<EssentialMatrix> : public internal::Manifold<EssentialMatrix> {};

template<>
struct traits<const EssentialMatrix> : public internal::Manifold<EssentialMatrix> {};

} // gtsam