Created testManifold
dellaert
parent
0acffe5ae9
commit
224b71d696
|
|
@ -135,108 +135,6 @@ struct SnavelyProjection {
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
||||||
/* ************************************************************************* */
|
|
||||||
// is_manifold
|
|
||||||
TEST(Manifold, _is_manifold) {
|
|
||||||
using namespace traits;
|
|
||||||
EXPECT(!is_manifold<int>::value);
|
|
||||||
EXPECT(is_manifold<Point2>::value);
|
|
||||||
EXPECT(is_manifold<Matrix24>::value);
|
|
||||||
EXPECT(is_manifold<double>::value);
|
|
||||||
EXPECT(is_manifold<Vector>::value);
|
|
||||||
EXPECT(is_manifold<Matrix>::value);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ************************************************************************* */
|
|
||||||
// dimension
|
|
||||||
TEST(Manifold, _dimension) {
|
|
||||||
using namespace traits;
|
|
||||||
EXPECT_LONGS_EQUAL(2, dimension<Point2>::value);
|
|
||||||
EXPECT_LONGS_EQUAL(8, dimension<Matrix24>::value);
|
|
||||||
EXPECT_LONGS_EQUAL(1, dimension<double>::value);
|
|
||||||
EXPECT_LONGS_EQUAL(Eigen::Dynamic, dimension<Vector>::value);
|
|
||||||
EXPECT_LONGS_EQUAL(Eigen::Dynamic, dimension<Matrix>::value);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ************************************************************************* */
|
|
||||||
// charts
|
|
||||||
TEST(Manifold, DefaultChart) {
|
|
||||||
|
|
||||||
DefaultChart<Point2> chart1(Point2(0, 0));
|
|
||||||
EXPECT(chart1.apply(Point2(1,0))==Vector2(1,0));
|
|
||||||
EXPECT(chart1.retract(Vector2(1,0))==Point2(1,0));
|
|
||||||
|
|
||||||
DefaultChart<Vector2> chart2(Vector2(0, 0));
|
|
||||||
EXPECT(chart2.apply(Vector2(1,0))==Vector2(1,0));
|
|
||||||
EXPECT(chart2.retract(Vector2(1,0))==Vector2(1,0));
|
|
||||||
|
|
||||||
DefaultChart<double> chart3(0);
|
|
||||||
Eigen::Matrix<double, 1, 1> v1;
|
|
||||||
v1 << 1;
|
|
||||||
EXPECT(chart3.apply(1)==v1);
|
|
||||||
EXPECT(chart3.retract(v1)==1);
|
|
||||||
|
|
||||||
// Dynamic does not work yet !
|
|
||||||
// Vector z = zero(2), v(2);
|
|
||||||
// v << 1, 0;
|
|
||||||
// DefaultChart<Vector> chart4(z);
|
|
||||||
// EXPECT(chart4.apply(v)==v);
|
|
||||||
// EXPECT(chart4.retract(v)==v);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ************************************************************************* */
|
|
||||||
// zero
|
|
||||||
TEST(Manifold, _zero) {
|
|
||||||
EXPECT(assert_equal(Pose3(),traits::zero<Pose3>::value()));
|
|
||||||
Cal3Bundler cal(0,0,0);
|
|
||||||
EXPECT(assert_equal(cal,traits::zero<Cal3Bundler>::value()));
|
|
||||||
EXPECT(assert_equal(Camera(Pose3(),cal),traits::zero<Camera>::value()));
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ************************************************************************* */
|
|
||||||
// charts
|
|
||||||
TEST(Manifold, Canonical) {
|
|
||||||
|
|
||||||
Canonical<Point2> chart1;
|
|
||||||
EXPECT(chart1.apply(Point2(1,0))==Vector2(1,0));
|
|
||||||
EXPECT(chart1.retract(Vector2(1,0))==Point2(1,0));
|
|
||||||
|
|
||||||
Canonical<Vector2> chart2;
|
|
||||||
EXPECT(assert_equal((Vector)chart2.apply(Vector2(1,0)),Vector2(1,0)));
|
|
||||||
EXPECT(chart2.retract(Vector2(1,0))==Vector2(1,0));
|
|
||||||
|
|
||||||
Canonical<double> chart3;
|
|
||||||
Eigen::Matrix<double, 1, 1> v1;
|
|
||||||
v1 << 1;
|
|
||||||
EXPECT(chart3.apply(1)==v1);
|
|
||||||
EXPECT(chart3.retract(v1)==1);
|
|
||||||
|
|
||||||
Canonical<Point3> chart4;
|
|
||||||
Point3 point(1,2,3);
|
|
||||||
Vector3 v3(1,2,3);
|
|
||||||
EXPECT(assert_equal((Vector)chart4.apply(point),v3));
|
|
||||||
EXPECT(assert_equal(chart4.retract(v3),point));
|
|
||||||
|
|
||||||
Canonical<Pose3> chart5;
|
|
||||||
Pose3 pose(Rot3::identity(),point);
|
|
||||||
Vector6 v6; v6 << 0,0,0,1,2,3;
|
|
||||||
EXPECT(assert_equal((Vector)chart5.apply(pose),v6));
|
|
||||||
EXPECT(assert_equal(chart5.retract(v6),pose));
|
|
||||||
|
|
||||||
Canonical<Camera> chart6;
|
|
||||||
Cal3Bundler cal0(0,0,0);
|
|
||||||
Camera camera(Pose3(),cal0);
|
|
||||||
Vector9 z9 = Vector9::Zero();
|
|
||||||
EXPECT(assert_equal((Vector)chart6.apply(camera),z9));
|
|
||||||
EXPECT(assert_equal(chart6.retract(z9),camera));
|
|
||||||
|
|
||||||
Cal3Bundler cal; // Note !! Cal3Bundler() != zero<Cal3Bundler>::value()
|
|
||||||
Camera camera2(pose,cal);
|
|
||||||
Vector9 v9; v9 << 0,0,0,1,2,3,1,0,0;
|
|
||||||
EXPECT(assert_equal((Vector)chart6.apply(camera2),v9));
|
|
||||||
EXPECT(assert_equal(chart6.retract(v9),camera2));
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ************************************************************************* */
|
/* ************************************************************************* */
|
||||||
// New-style numerical derivatives using manifold_traits
|
// New-style numerical derivatives using manifold_traits
|
||||||
template<typename Y, typename X>
|
template<typename Y, typename X>
|
||||||
|
|
|
||||||
|
|
@ -0,0 +1,149 @@
|
||||||
|
/* ----------------------------------------------------------------------------
|
||||||
|
|
||||||
|
* 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
|
||||||
|
|
||||||
|
* -------------------------------1------------------------------------------- */
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @file testExpression.cpp
|
||||||
|
* @date September 18, 2014
|
||||||
|
* @author Frank Dellaert
|
||||||
|
* @author Paul Furgale
|
||||||
|
* @brief unit tests for Block Automatic Differentiation
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <gtsam/geometry/PinholeCamera.h>
|
||||||
|
#include <gtsam/geometry/Pose3.h>
|
||||||
|
#include <gtsam/geometry/Cal3_S2.h>
|
||||||
|
#include <gtsam/geometry/Cal3Bundler.h>
|
||||||
|
#include <gtsam_unstable/nonlinear/Expression.h>
|
||||||
|
#include <gtsam/base/Testable.h>
|
||||||
|
#include <gtsam/base/LieScalar.h>
|
||||||
|
|
||||||
|
#undef CHECK
|
||||||
|
#include <CppUnitLite/TestHarness.h>
|
||||||
|
|
||||||
|
#include <boost/assign/list_of.hpp>
|
||||||
|
using boost::assign::list_of;
|
||||||
|
using boost::assign::map_list_of;
|
||||||
|
|
||||||
|
using namespace std;
|
||||||
|
using namespace gtsam;
|
||||||
|
|
||||||
|
// The DefaultChart of Camera below is laid out like Snavely's 9-dim vector
|
||||||
|
typedef PinholeCamera<Cal3Bundler> Camera;
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
// is_manifold
|
||||||
|
TEST(Manifold, _is_manifold) {
|
||||||
|
using namespace traits;
|
||||||
|
EXPECT(!is_manifold<int>::value);
|
||||||
|
EXPECT(is_manifold<Point2>::value);
|
||||||
|
EXPECT(is_manifold<Matrix24>::value);
|
||||||
|
EXPECT(is_manifold<double>::value);
|
||||||
|
EXPECT(is_manifold<Vector>::value);
|
||||||
|
EXPECT(is_manifold<Matrix>::value);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
// dimension
|
||||||
|
TEST(Manifold, _dimension) {
|
||||||
|
using namespace traits;
|
||||||
|
EXPECT_LONGS_EQUAL(2, dimension<Point2>::value);
|
||||||
|
EXPECT_LONGS_EQUAL(8, dimension<Matrix24>::value);
|
||||||
|
EXPECT_LONGS_EQUAL(1, dimension<double>::value);
|
||||||
|
EXPECT_LONGS_EQUAL(Eigen::Dynamic, dimension<Vector>::value);
|
||||||
|
EXPECT_LONGS_EQUAL(Eigen::Dynamic, dimension<Matrix>::value);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
// charts
|
||||||
|
TEST(Manifold, DefaultChart) {
|
||||||
|
|
||||||
|
DefaultChart<Point2> chart1(Point2(0, 0));
|
||||||
|
EXPECT(chart1.apply(Point2(1,0))==Vector2(1,0));
|
||||||
|
EXPECT(chart1.retract(Vector2(1,0))==Point2(1,0));
|
||||||
|
|
||||||
|
DefaultChart<Vector2> chart2(Vector2(0, 0));
|
||||||
|
EXPECT(chart2.apply(Vector2(1,0))==Vector2(1,0));
|
||||||
|
EXPECT(chart2.retract(Vector2(1,0))==Vector2(1,0));
|
||||||
|
|
||||||
|
DefaultChart<double> chart3(0);
|
||||||
|
Eigen::Matrix<double, 1, 1> v1;
|
||||||
|
v1 << 1;
|
||||||
|
EXPECT(chart3.apply(1)==v1);
|
||||||
|
EXPECT(chart3.retract(v1)==1);
|
||||||
|
|
||||||
|
// Dynamic does not work yet !
|
||||||
|
// Vector z = zero(2), v(2);
|
||||||
|
// v << 1, 0;
|
||||||
|
// DefaultChart<Vector> chart4(z);
|
||||||
|
// EXPECT(chart4.apply(v)==v);
|
||||||
|
// EXPECT(chart4.retract(v)==v);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
// zero
|
||||||
|
TEST(Manifold, _zero) {
|
||||||
|
EXPECT(assert_equal(Pose3(),traits::zero<Pose3>::value()));
|
||||||
|
Cal3Bundler cal(0,0,0);
|
||||||
|
EXPECT(assert_equal(cal,traits::zero<Cal3Bundler>::value()));
|
||||||
|
EXPECT(assert_equal(Camera(Pose3(),cal),traits::zero<Camera>::value()));
|
||||||
|
}
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
// charts
|
||||||
|
TEST(Manifold, Canonical) {
|
||||||
|
|
||||||
|
Canonical<Point2> chart1;
|
||||||
|
EXPECT(chart1.apply(Point2(1,0))==Vector2(1,0));
|
||||||
|
EXPECT(chart1.retract(Vector2(1,0))==Point2(1,0));
|
||||||
|
|
||||||
|
Canonical<Vector2> chart2;
|
||||||
|
EXPECT(assert_equal((Vector)chart2.apply(Vector2(1,0)),Vector2(1,0)));
|
||||||
|
EXPECT(chart2.retract(Vector2(1,0))==Vector2(1,0));
|
||||||
|
|
||||||
|
Canonical<double> chart3;
|
||||||
|
Eigen::Matrix<double, 1, 1> v1;
|
||||||
|
v1 << 1;
|
||||||
|
EXPECT(chart3.apply(1)==v1);
|
||||||
|
EXPECT(chart3.retract(v1)==1);
|
||||||
|
|
||||||
|
Canonical<Point3> chart4;
|
||||||
|
Point3 point(1,2,3);
|
||||||
|
Vector3 v3(1,2,3);
|
||||||
|
EXPECT(assert_equal((Vector)chart4.apply(point),v3));
|
||||||
|
EXPECT(assert_equal(chart4.retract(v3),point));
|
||||||
|
|
||||||
|
Canonical<Pose3> chart5;
|
||||||
|
Pose3 pose(Rot3::identity(),point);
|
||||||
|
Vector6 v6; v6 << 0,0,0,1,2,3;
|
||||||
|
EXPECT(assert_equal((Vector)chart5.apply(pose),v6));
|
||||||
|
EXPECT(assert_equal(chart5.retract(v6),pose));
|
||||||
|
|
||||||
|
Canonical<Camera> chart6;
|
||||||
|
Cal3Bundler cal0(0,0,0);
|
||||||
|
Camera camera(Pose3(),cal0);
|
||||||
|
Vector9 z9 = Vector9::Zero();
|
||||||
|
EXPECT(assert_equal((Vector)chart6.apply(camera),z9));
|
||||||
|
EXPECT(assert_equal(chart6.retract(z9),camera));
|
||||||
|
|
||||||
|
Cal3Bundler cal; // Note !! Cal3Bundler() != zero<Cal3Bundler>::value()
|
||||||
|
Camera camera2(pose,cal);
|
||||||
|
Vector9 v9; v9 << 0,0,0,1,2,3,1,0,0;
|
||||||
|
EXPECT(assert_equal((Vector)chart6.apply(camera2),v9));
|
||||||
|
EXPECT(assert_equal(chart6.retract(v9),camera2));
|
||||||
|
}
|
||||||
|
|
||||||
|
/* ************************************************************************* */
|
||||||
|
int main() {
|
||||||
|
TestResult tr;
|
||||||
|
return TestRegistry::runAllTests(tr);
|
||||||
|
}
|
||||||
|
/* ************************************************************************* */
|
||||||
|
|
||||||
Loading…
Reference in New Issue