|
gtsam
|
Add the Pose2-specific operations used by the generic QCQP conversion code.
template <> struct traits<Pose2> specializes GTSAM's generic traits<T> interface for T=Pose2. The static methods can therefore be called as traits<Pose2>::QcqpValue<1>(pose) without constructing a traits object.
Each method is itself a template on D, the QCQP variable's column count. if constexpr (D == 1) selects this exact homogenized vector formulation at compile time. The lift discards the fixed last row [0, 0, 1] of the Pose2 matrix and stores the remaining entries column by column:
x = [1, r00, r10, r01, r11, tx, ty]'.
Eigen's segment<2>(start) selects two consecutive entries of x, while T.col(column).head<2>() selects the first two entries of one matrix column. QcqpConstraints returns the symmetric matrices A and scalars b for the five equations x' A x = b. Their translation rows and columns are zero, so these equations constrain only the embedded SO(2) rotation.
Static Public Member Functions | |
| template<int D = 1> | |
| static Matrix | QcqpValue (const Pose2 &value) |
| Return the D=1 homogenized QCQP variable x = [1, r00, r10, r01, r11, tx, ty]. | |
| template<int D = 1> | |
| static std::vector< std::pair< Matrix, double > > | QcqpConstraints () |
| Return the five D=1 lifted SE(2) manifold constraints A, b such that trace(x' A x) = b. | |
| template<int D> | |
| static Pose2 | FromQcqpValue (const Matrix &X) |
| Project a D=1 homogenized QCQP vector back to Pose2. | |
| Static Public Member Functions inherited from gtsam::internal::MatrixLieGroupTraits< Pose2, N > | |
| static LieAlgebra | Hat (const TangentVector &v) |
| static TangentVector | Vee (const LieAlgebra &X) |
| static Eigen::Matrix< double, product(N, N), 1 > | Vec (const Pose2 &m, OptionalJacobian< product(N, N), LieGroupTraits< Pose2 >::dimension > H={}) |
| Vectorize the matrix representation of a Lie group element. | |
| static TangentVector | AdjointTranspose (const Pose2 &m, const TangentVector &x, ChartJacobian Hm={}, ChartJacobian Hx={}) |
| static TangentVector | Adjoint (const Pose2 &m, const TangentVector &x, ChartJacobian Hm={}, ChartJacobian Hx={}) |
| static Jacobian | adjointMap (const TangentVector &xi) |
| static TangentVector | adjoint (const TangentVector &xi, const TangentVector &y, ChartJacobian Hxi={}, ChartJacobian H_y={}) |
| static TangentVector | adjointTranspose (const TangentVector &xi, const TangentVector &y, ChartJacobian Hxi={}, ChartJacobian H_y={}) |
| Static Public Member Functions inherited from gtsam::internal::LieGroupTraits< Pose2 > | |
| static TangentVector | Logmap (const Pose2 &m) |
| static Pose2 | Expmap (const TangentVector &v) |
| static Pose2 | Compose (const Pose2 &m1, const Pose2 &m2, ChartJacobian H1={}, ChartJacobian H2={}) |
| static Pose2 | Between (const Pose2 &m1, const Pose2 &m2, ChartJacobian H1={}, ChartJacobian H2={}) |
| static Pose2 | Inverse (const Pose2 &m, ChartJacobian H={}) |
| static Eigen::Matrix< double, dimension, dimension > | AdjointMap (const Pose2 &m) |
| static Pose2 | Identity () |
| Static Public Member Functions inherited from gtsam::internal::ManifoldTraits< Pose2 > | |
| static TangentVector | Local (const Pose2 &origin, const Pose2 &other) |
| static Pose2 | Retract (const Pose2 &origin, const TangentVector &v) |
| Static Public Member Functions inherited from gtsam::internal::GetDimensionImpl< Pose2, Pose2::dimension > | |
| static size_t | GetDimension (const Pose2 &m) |
| Static Public Member Functions inherited from gtsam::Testable< Pose2 > | |
| static void | Print (const Pose2 &m, const std::string &str="") |
| static bool | Equals (const Pose2 &m1, const Pose2 &m2, double tol=1e-8) |
Static Public Attributes | |
| static constexpr int | QcqpVectorDim = 7 |
| Dimension of the D=1 homogenized QCQP vector. | |
| static constexpr auto | dimension |
| Static Public Attributes inherited from gtsam::internal::ManifoldTraits< Pose2 > | |
| static constexpr auto | dimension |
Additional Inherited Members | |
| Public Member Functions inherited from gtsam::internal::ManifoldTraits< Pose2 > | |
| GTSAM_CONCEPT_ASSERT (HasManifoldPrereqs< Pose2 >) | |
| Public Member Functions inherited from gtsam::Testable< Pose2 > | |
| GTSAM_CONCEPT_ASSERT (HasTestablePrereqs< Pose2 >) | |
| Public Types inherited from gtsam::internal::MatrixLieGroupTraits< Pose2, N > | |
| using | LieAlgebra |
| using | TangentVector |
| using | Jacobian |
| using | ChartJacobian |
| Public Types inherited from gtsam::internal::LieGroupTraits< Pose2 > | |
| typedef OptionalJacobian< dimension, dimension > | ChartJacobian |
| typedef Pose2 | ManifoldType |
| typedef Eigen::Matrix< double, dimension, 1 > | TangentVector |
| using | Manifold |
| using | structure_category |
| using | group_flavor |
| using | Jacobian |
| Public Types inherited from gtsam::internal::ManifoldTraits< Pose2 > | |
| typedef Pose2 | ManifoldType |
| typedef manifold_tag | structure_category |
| typedef Eigen::Matrix< double, dimension, 1 > | TangentVector |
| typedef OptionalJacobian< dimension, dimension > | ChartJacobian |