Blame internal/ceres/parameter_block_test.cc

Packit ea1746
// Ceres Solver - A fast non-linear least squares minimizer
Packit ea1746
// Copyright 2015 Google Inc. All rights reserved.
Packit ea1746
// http://ceres-solver.org/
Packit ea1746
//
Packit ea1746
// Redistribution and use in source and binary forms, with or without
Packit ea1746
// modification, are permitted provided that the following conditions are met:
Packit ea1746
//
Packit ea1746
// * Redistributions of source code must retain the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer.
Packit ea1746
// * Redistributions in binary form must reproduce the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer in the documentation
Packit ea1746
//   and/or other materials provided with the distribution.
Packit ea1746
// * Neither the name of Google Inc. nor the names of its contributors may be
Packit ea1746
//   used to endorse or promote products derived from this software without
Packit ea1746
//   specific prior written permission.
Packit ea1746
//
Packit ea1746
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
Packit ea1746
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
Packit ea1746
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
Packit ea1746
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
Packit ea1746
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
Packit ea1746
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
Packit ea1746
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
Packit ea1746
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
Packit ea1746
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
Packit ea1746
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
Packit ea1746
// POSSIBILITY OF SUCH DAMAGE.
Packit ea1746
//
Packit ea1746
// Author: keir@google.com (Keir Mierle)
Packit ea1746
Packit ea1746
#include "ceres/parameter_block.h"
Packit ea1746
Packit ea1746
#include "gtest/gtest.h"
Packit ea1746
#include "ceres/internal/eigen.h"
Packit ea1746
Packit ea1746
namespace ceres {
Packit ea1746
namespace internal {
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetLocalParameterizationDiesOnSizeMismatch) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  SubsetParameterization subset_wrong_size(4, indices);
Packit ea1746
  EXPECT_DEATH_IF_SUPPORTED(
Packit ea1746
      parameter_block.SetParameterization(&subset_wrong_size), "global");
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetLocalParameterizationWithSameExistingParameterization) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  SubsetParameterization subset(3, indices);
Packit ea1746
  parameter_block.SetParameterization(&subset);
Packit ea1746
  parameter_block.SetParameterization(&subset);
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetLocalParameterizationDiesWhenResettingToNull) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  SubsetParameterization subset(3, indices);
Packit ea1746
  parameter_block.SetParameterization(&subset);
Packit ea1746
  EXPECT_DEATH_IF_SUPPORTED(parameter_block.SetParameterization(NULL), "NULL");
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock,
Packit ea1746
     SetLocalParameterizationDiesWhenResettingToDifferentParameterization) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  SubsetParameterization subset(3, indices);
Packit ea1746
  parameter_block.SetParameterization(&subset);
Packit ea1746
  SubsetParameterization subset_different(3, indices);
Packit ea1746
  EXPECT_DEATH_IF_SUPPORTED(
Packit ea1746
      parameter_block.SetParameterization(&subset_different), "re-set");
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetLocalParameterizationDiesOnNullParameterization) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  EXPECT_DEATH_IF_SUPPORTED(parameter_block.SetParameterization(NULL), "NULL");
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetParameterizationDiesOnZeroLocalSize) {
Packit ea1746
  double x[3] = {1.0, 2.0, 3.0};
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(0);
Packit ea1746
  indices.push_back(1);
Packit ea1746
  indices.push_back(2);
Packit ea1746
  SubsetParameterization subset(3, indices);
Packit ea1746
  EXPECT_DEATH_IF_SUPPORTED(parameter_block.SetParameterization(&subset),
Packit ea1746
                            "positive dimensional tangent");
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetLocalParameterizationAndNormalOperation) {
Packit ea1746
  double x[3] = { 1.0, 2.0, 3.0 };
Packit ea1746
  ParameterBlock parameter_block(x, 3, -1);
Packit ea1746
  std::vector<int> indices;
Packit ea1746
  indices.push_back(1);
Packit ea1746
  SubsetParameterization subset(3, indices);
Packit ea1746
  parameter_block.SetParameterization(&subset);
Packit ea1746
Packit ea1746
  // Ensure the local parameterization jacobian result is correctly computed.
Packit ea1746
  ConstMatrixRef local_parameterization_jacobian(
Packit ea1746
      parameter_block.LocalParameterizationJacobian(),
Packit ea1746
      3,
Packit ea1746
      2);
Packit ea1746
  ASSERT_EQ(1.0, local_parameterization_jacobian(0, 0));
Packit ea1746
  ASSERT_EQ(0.0, local_parameterization_jacobian(0, 1));
Packit ea1746
  ASSERT_EQ(0.0, local_parameterization_jacobian(1, 0));
Packit ea1746
  ASSERT_EQ(0.0, local_parameterization_jacobian(1, 1));
Packit ea1746
  ASSERT_EQ(0.0, local_parameterization_jacobian(2, 0));
Packit ea1746
  ASSERT_EQ(1.0, local_parameterization_jacobian(2, 1));
Packit ea1746
Packit ea1746
  // Check that updating works as expected.
Packit ea1746
  double x_plus_delta[3];
Packit ea1746
  double delta[2] = { 0.5, 0.3 };
Packit ea1746
  parameter_block.Plus(x, delta, x_plus_delta);
Packit ea1746
  ASSERT_EQ(1.5, x_plus_delta[0]);
Packit ea1746
  ASSERT_EQ(2.0, x_plus_delta[1]);
Packit ea1746
  ASSERT_EQ(3.3, x_plus_delta[2]);
Packit ea1746
}
Packit ea1746
Packit ea1746
struct TestParameterization : public LocalParameterization {
Packit ea1746
 public:
Packit ea1746
  virtual ~TestParameterization() {}
Packit ea1746
  virtual bool Plus(const double* x,
Packit ea1746
                    const double* delta,
Packit ea1746
                    double* x_plus_delta) const {
Packit ea1746
    LOG(FATAL) << "Shouldn't get called.";
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
  virtual bool ComputeJacobian(const double* x,
Packit ea1746
                               double* jacobian) const {
Packit ea1746
    jacobian[0] = *x * 2;
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  virtual int GlobalSize() const { return 1; }
Packit ea1746
  virtual int LocalSize() const { return 1; }
Packit ea1746
};
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetStateUpdatesLocalParameterizationJacobian) {
Packit ea1746
  TestParameterization test_parameterization;
Packit ea1746
  double x[1] = { 1.0 };
Packit ea1746
  ParameterBlock parameter_block(x, 1, -1, &test_parameterization);
Packit ea1746
Packit ea1746
  EXPECT_EQ(2.0, *parameter_block.LocalParameterizationJacobian());
Packit ea1746
Packit ea1746
  x[0] = 5.5;
Packit ea1746
  parameter_block.SetState(x);
Packit ea1746
  EXPECT_EQ(11.0, *parameter_block.LocalParameterizationJacobian());
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, PlusWithNoLocalParameterization) {
Packit ea1746
  double x[2] = { 1.0, 2.0 };
Packit ea1746
  ParameterBlock parameter_block(x, 2, -1);
Packit ea1746
Packit ea1746
  double delta[2] = { 0.2, 0.3 };
Packit ea1746
  double x_plus_delta[2];
Packit ea1746
  parameter_block.Plus(x, delta, x_plus_delta);
Packit ea1746
  EXPECT_EQ(1.2, x_plus_delta[0]);
Packit ea1746
  EXPECT_EQ(2.3, x_plus_delta[1]);
Packit ea1746
}
Packit ea1746
Packit ea1746
// Stops computing the jacobian after the first time.
Packit ea1746
class BadLocalParameterization : public LocalParameterization {
Packit ea1746
 public:
Packit ea1746
  BadLocalParameterization()
Packit ea1746
      : calls_(0) {
Packit ea1746
  }
Packit ea1746
Packit ea1746
  virtual ~BadLocalParameterization() {}
Packit ea1746
  virtual bool Plus(const double* x,
Packit ea1746
                    const double* delta,
Packit ea1746
                    double* x_plus_delta) const {
Packit ea1746
    *x_plus_delta = *x + *delta;
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  virtual bool ComputeJacobian(const double* x, double* jacobian) const {
Packit ea1746
    if (calls_ == 0) {
Packit ea1746
      jacobian[0] = 0;
Packit ea1746
    }
Packit ea1746
    ++calls_;
Packit ea1746
    return true;
Packit ea1746
  }
Packit ea1746
Packit ea1746
  virtual int GlobalSize() const { return 1;}
Packit ea1746
  virtual int LocalSize()  const { return 1;}
Packit ea1746
Packit ea1746
 private:
Packit ea1746
  mutable int calls_;
Packit ea1746
};
Packit ea1746
Packit ea1746
TEST(ParameterBlock, DetectBadLocalParameterization) {
Packit ea1746
  double x = 1;
Packit ea1746
  BadLocalParameterization bad_parameterization;
Packit ea1746
  ParameterBlock parameter_block(&x, 1, -1, &bad_parameterization);
Packit ea1746
  double y = 2;
Packit ea1746
  EXPECT_FALSE(parameter_block.SetState(&y);;
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, DefaultBounds) {
Packit ea1746
  double x[2];
Packit ea1746
  ParameterBlock parameter_block(x, 2, -1, NULL);
Packit ea1746
  EXPECT_EQ(parameter_block.UpperBoundForParameter(0),
Packit ea1746
            std::numeric_limits<double>::max());
Packit ea1746
  EXPECT_EQ(parameter_block.UpperBoundForParameter(1),
Packit ea1746
            std::numeric_limits<double>::max());
Packit ea1746
  EXPECT_EQ(parameter_block.LowerBoundForParameter(0),
Packit ea1746
            -std::numeric_limits<double>::max());
Packit ea1746
  EXPECT_EQ(parameter_block.LowerBoundForParameter(1),
Packit ea1746
            -std::numeric_limits<double>::max());
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, SetBounds) {
Packit ea1746
  double x[2];
Packit ea1746
  ParameterBlock parameter_block(x, 2, -1, NULL);
Packit ea1746
  parameter_block.SetLowerBound(0, 1);
Packit ea1746
  parameter_block.SetUpperBound(1, 1);
Packit ea1746
Packit ea1746
  EXPECT_EQ(parameter_block.LowerBoundForParameter(0), 1.0);
Packit ea1746
  EXPECT_EQ(parameter_block.LowerBoundForParameter(1),
Packit ea1746
            -std::numeric_limits<double>::max());
Packit ea1746
Packit ea1746
  EXPECT_EQ(parameter_block.UpperBoundForParameter(0),
Packit ea1746
            std::numeric_limits<double>::max());
Packit ea1746
  EXPECT_EQ(parameter_block.UpperBoundForParameter(1), 1.0);
Packit ea1746
}
Packit ea1746
Packit ea1746
TEST(ParameterBlock, PlusWithBoundsConstraints) {
Packit ea1746
  double x[] = {1.0, 0.0};
Packit ea1746
  double delta[] = {2.0, -10.0};
Packit ea1746
  ParameterBlock parameter_block(x, 2, -1, NULL);
Packit ea1746
  parameter_block.SetUpperBound(0, 2.0);
Packit ea1746
  parameter_block.SetLowerBound(1, -1.0);
Packit ea1746
  double x_plus_delta[2];
Packit ea1746
  parameter_block.Plus(x, delta, x_plus_delta);
Packit ea1746
  EXPECT_EQ(x_plus_delta[0], 2.0);
Packit ea1746
  EXPECT_EQ(x_plus_delta[1], -1.0);
Packit ea1746
}
Packit ea1746
Packit ea1746
}  // namespace internal
Packit ea1746
}  // namespace ceres