gtsam::FrobeniusLeftBetweenFactor< T > Class Template Reference

Detailed Description

template<class T>
class gtsam::FrobeniusLeftBetweenFactor< T >

FrobeniusLeftBetweenFactor uses ||iTw - iTj*jTw||_F, where measured iTj maps frame j into frame i.

See gtsam/slam/doc/FrobeniusFactor.ipynb for the factor family and its use with inverse-state certifiable localization.

Inheritance diagram for gtsam::FrobeniusLeftBetweenFactor< T >:

Public Member Functions
	FrobeniusLeftBetweenFactor (Key j1, Key j2, const T &iTj, const SharedNoiseModel &model=nullptr)
	Construct from two keys and a measured left-composed transformation.
NonlinearFactor::shared_ptr	clone () const override
	Creates a shared_ptr clone of the factor - needs to be specialized to allow for subclasses.
void	print (const std::string &s, const KeyFormatter &keyFormatter=DefaultKeyFormatter) const override
	Print the factor and its measured transformation.
bool	equals (const NonlinearFactor &expected, double tol=1e-9) const override
	Check equality with another left-composed factor.
VectorD	evaluateError (const T &iTw, const T &jTw, OptionalMatrixType H1, OptionalMatrixType H2) const override
	Evaluate iTw - iTj*jTw.
void	qcqpFactors (NonlinearFactorGraph *costs, NonlinearEqualityConstraints *constraints, size_t columnDimension=1) const override
	Add the exact D=1 homogeneous left-composed between cost to a QCQP.
virtual VectorD	evaluateError (const ValueTypes &... x, OptionalMatrixTypeT< ValueTypes >... H) const=0
	Override evaluateError to finish implementing an n-way factor.
Vector	evaluateError (const ValueTypes &... x, MatrixTypeT< ValueTypes > &... H) const
	If all the optional arguments are matrices then redirect the call to the one which takes pointers.
Vector	evaluateError (const ValueTypes &... x) const
	No-Jacobians requested function overload.
AreAllMatrixRefs< Vector, OptionalJacArgs... >	evaluateError (const ValueTypes &... x, OptionalJacArgs &&... H) const
	Some (but not all) optional Jacobians are omitted (function overload) and the jacobians are l-value references to matrices.
Public Member Functions inherited from gtsam::FrobeniusBetweenFactorNL< T >
virtual VectorD	evaluateError (const ValueTypes &... x, OptionalMatrixTypeT< ValueTypes >... H) const =0
	Override evaluateError to finish implementing an n-way factor.
Vector	evaluateError (const ValueTypes &... x, MatrixTypeT< ValueTypes > &... H) const
	If all the optional arguments are matrices then redirect the call to the one which takes pointers.
Vector	evaluateError (const ValueTypes &... x) const
	No-Jacobians requested function overload.
AreAllMatrixRefs< Vector, OptionalJacArgs... >	evaluateError (const ValueTypes &... x, OptionalJacArgs &&... H) const
	Some (but not all) optional Jacobians are omitted (function overload) and the jacobians are l-value references to matrices.
	FrobeniusBetweenFactorNL (Key j1, Key j2, const T &T12, const SharedNoiseModel &model=nullptr)
	Construct from two keys and a measured transformation.
const T &	measured () const
	Return the measured transformation from the first key to the second.
VectorD	evaluateError (const T &T1, const T &T2, OptionalMatrixType H1, OptionalMatrixType H2) const override
	Error is |inv(T2)*T1*T12_ - I|_F.
Public Member Functions inherited from gtsam::NoiseModelFactorT< FrobeniusErrorVector< T >, T, T >
Key	key () const
	Returns a key.
Vector	unwhitenedError (const Values &x, std::vector< Matrix > &H) const
	support taking in the actual vector instead of the pointer as well to get access to this version of the function from derived classes one will need to use the "using" keyword and specify that like this: public: using NoiseModelFactor::unwhitenedError;
	NoiseModelFactorT ()
	Default Constructor for I/O.
	NoiseModelFactorT (const SharedNoiseModel &noiseModel, KeyType< ValueTypes >... keys)
	Constructor.
	NoiseModelFactorT (const SharedNoiseModel &noiseModel, CONTAINER keys)
	Constructor.
virtual FrobeniusErrorVector< T >	evaluateError (const ValueTypes &... x, OptionalMatrixTypeT< ValueTypes >... H) const=0
	Override evaluateError to finish implementing an n-way factor.
Vector	evaluateError (const ValueTypes &... x, MatrixTypeT< ValueTypes > &... H) const
	If all the optional arguments are matrices then redirect the call to the one which takes pointers.
Vector	evaluateError (const ValueTypes &... x) const
	No-Jacobians requested function overload.
AreAllMatrixRefs< Vector, OptionalJacArgs... >	evaluateError (const ValueTypes &... x, OptionalJacArgs &&... H) const
	Some (but not all) optional Jacobians are omitted (function overload) and the jacobians are l-value references to matrices.
AreAllMatrixPtrs< Vector, OptionalJacArgs... >	evaluateError (const ValueTypes &... x, OptionalJacArgs &&... H) const
	Some (but not all) optional Jacobians are omitted (function overload) and the jacobians are pointers to matrices.
Key	key1 () const
Key	key2 () const
Key	key3 () const
Key	key4 () const
Key	key5 () const
Key	key6 () const
std::shared_ptr< GaussianFactor >	linearize (const Values &values) const override
	Linearize factors whose error and argument dimensions are all fixed to an arbitrary-arity FixedJacobianFactor.
Vector	unwhitenedError (const Values &x, OptionalMatrixVecType H=nullptr) const override
	This implements the unwhitenedError virtual function by calling the n-key specific version of evaluateError, which is pure virtual so must be implemented in the derived class.
Public Member Functions inherited from gtsam::NoiseModelFactor
	NoiseModelFactor ()
	Default constructor for I/O only.
	~NoiseModelFactor () override
	Destructor.
template<typename CONTAINER>
	NoiseModelFactor (const SharedNoiseModel &noiseModel, const CONTAINER &keys)
	Constructor.
void	print (const std::string &s="", const KeyFormatter &keyFormatter=DefaultKeyFormatter) const override
	Print.
bool	equals (const NonlinearFactor &f, double tol=1e-9) const override
	Check if two factors are equal.
size_t	dim () const override
	get the dimension of the factor (number of rows on linearization)
const SharedNoiseModel &	noiseModel () const
	access to the noise model
Vector	unwhitenedError (const Values &x, std::vector< Matrix > &H) const
	support taking in the actual vector instead of the pointer as well to get access to this version of the function from derived classes one will need to use the "using" keyword and specify that like this: public: using NoiseModelFactor::unwhitenedError;
Vector	whitenedError (const Values &c) const
	Vector of errors, whitened This is the raw error, i.e., i.e.
Vector	unweightedWhitenedError (const Values &c) const
	Vector of errors, whitened, but unweighted by any loss function.
double	weight (const Values &c) const
	Compute the effective weight of the factor from the noise model.
double	error (const Values &c) const override
	Calculate the error of the factor.
shared_ptr	cloneWithNewNoiseModel (const SharedNoiseModel newNoise) const
	Creates a shared_ptr clone of the factor with a new noise model.
double	error (const HybridValues &c) const override
	All factor types need to implement an error function.
	NonlinearFactor ()
	Default constructor for I/O only.
template<typename CONTAINER>
	NonlinearFactor (const CONTAINER &keys)
	Constructor from a collection of the keys involved in this factor.
void	print (const std::string &s="", const KeyFormatter &keyFormatter=DefaultKeyFormatter) const override
	print
double	error (const HybridValues &c) const override
	All factor types need to implement an error function.
virtual bool	active (const Values &c) const
	Checks whether a factor should be used based on a set of values.
virtual shared_ptr	rekey (const std::map< Key, Key > &rekey_mapping) const
	Creates a shared_ptr clone of the factor with different keys using a map from old->new keys.
virtual shared_ptr	rekey (const KeyVector &new_keys) const
	Clones a factor and fully replaces its keys.
virtual bool	sendable () const
	Should the factor be evaluated in the same thread as the caller This is to enable factors that has shared states (like the Python GIL lock).
Public Member Functions inherited from gtsam::Factor
virtual	~Factor ()=default
	Default destructor.
bool	empty () const
	Whether the factor is empty (involves zero variables).
Key	front () const
	First key.
Key	back () const
	Last key.
const_iterator	find (Key key) const
	find
const KeyVector &	keys () const
	Access the factor's involved variable keys.
const_iterator	begin () const
	Iterator at beginning of involved variable keys.
const_iterator	end () const
	Iterator at end of involved variable keys.
size_t	size () const
virtual void	printKeys (const std::string &s="Factor", const KeyFormatter &formatter=DefaultKeyFormatter) const
	print only keys
bool	equals (const This &other, double tol=1e-9) const
	check equality
KeyVector &	keys ()
iterator	begin ()
	Iterator at beginning of involved variable keys.
iterator	end ()
	Iterator at end of involved variable keys.

Additional Inherited Members
Static Public Attributes inherited from gtsam::NoiseModelFactorT< FrobeniusErrorVector< T >, T, T >
static constexpr auto	N
	N is the number of variables (N-way factor).
Public Types inherited from gtsam::NoiseModelFactorT< FrobeniusErrorVector< T >, T, T >
using	ValueType
	The type of the I'th template param can be obtained as ValueType.
Public Types inherited from gtsam::NoiseModelFactor
typedef std::shared_ptr< This >	shared_ptr
	Noise model.
Public Types inherited from gtsam::NonlinearFactor
typedef std::shared_ptr< This >	shared_ptr
Public Types inherited from gtsam::Factor
typedef KeyVector::iterator	iterator
	Iterator over keys.
typedef KeyVector::const_iterator	const_iterator
	Const iterator over keys.
Protected Types inherited from gtsam::FrobeniusBetweenFactorNL< T >
using	MatrixN = Eigen::Matrix<double, N, N>
using	VectorD = Eigen::Matrix<double, Dim, 1>
using	Base = NoiseModelFactorT<VectorD, T, T>
Protected Types inherited from gtsam::NoiseModelFactorT< FrobeniusErrorVector< T >, T, T >
using	Base
using	This
using	OptionalMatrixTypeT
using	KeyType
using	MatrixTypeT
using	IsConvertible
using	IndexIsValid
using	ContainerElementType
using	IsContainerOfKeys
using	AreAllMatrixRefs
	A helper alias to check if a list of args are all references to a matrix or not.
using	IsMatrixPointer
using	IsNullpointer
using	AreAllMatrixPtrs
	A helper alias to check if a list of args are all pointers to a matrix or not.
Protected Types inherited from gtsam::NoiseModelFactor
typedef NonlinearFactor	Base
typedef NoiseModelFactor	This
Protected Types inherited from gtsam::NonlinearFactor
typedef Factor	Base
typedef NonlinearFactor	This
Protected Member Functions inherited from gtsam::NoiseModelFactor
	NoiseModelFactor (const SharedNoiseModel &noiseModel)
	Constructor - only for subclasses, as this does not set keys.
	Factor ()
	Default constructor for I/O.
template<typename CONTAINER>
	Factor (const CONTAINER &keys)
	Construct factor from container of keys.
template<typename ITERATOR>
	Factor (ITERATOR first, ITERATOR last)
	Construct factor from iterator keys.
template<typename CONTAINER>
static Factor	FromKeys (const CONTAINER &keys)
	Construct factor from container of keys.
template<typename ITERATOR>
static Factor	FromIterators (ITERATOR first, ITERATOR last)
	Construct factor from iterator keys.
Protected Attributes inherited from gtsam::FrobeniusBetweenFactorNL< T >
T	T12_
	measured transformation between T1 and T2
Protected Attributes inherited from gtsam::NoiseModelFactor
SharedNoiseModel	noiseModel_
Protected Attributes inherited from gtsam::Factor
KeyVector	keys_
	The keys involved in this factor.

Constructor & Destructor Documentation

FrobeniusLeftBetweenFactor()

template<class T>

gtsam::FrobeniusLeftBetweenFactor< T >::FrobeniusLeftBetweenFactor ( Key j1, Key j2, const T & iTj, const SharedNoiseModel & model = nullptr )

inline

Construct from two keys and a measured left-composed transformation.

Parameters

iTj	Measured transform from frame j to frame i.

Member Function Documentation

clone()

template<class T>

NonlinearFactor::shared_ptr gtsam::FrobeniusLeftBetweenFactor< T >::clone ( ) const

inlineoverridevirtual

Creates a shared_ptr clone of the factor - needs to be specialized to allow for subclasses.

By default, throws exception if subclass does not implement the function.

Reimplemented from gtsam::NonlinearFactor.

equals()

template<class T>

bool gtsam::FrobeniusLeftBetweenFactor< T >::equals ( const NonlinearFactor & expected, double tol = 1e-9 ) const

inlineoverridevirtual

Check equality with another left-composed factor.

Reimplemented from gtsam::FrobeniusBetweenFactorNL< T >.

evaluateError() [1/5]

template<class T>

VectorD gtsam::FrobeniusLeftBetweenFactor< T >::evaluateError ( const T & iTw, const T & jTw, OptionalMatrixType H1, OptionalMatrixType H2 ) const

inlineoverride

Evaluate iTw - iTj*jTw.

Parameters

iTw	Transform from the world frame to frame i.
jTw	Transform from the world frame to frame j.

evaluateError() [2/5]

template<class T>

Vector gtsam::NoiseModelFactorT< VectorD, ValueTypes >::evaluateError ( const ValueTypes &... x ) const

inline

No-Jacobians requested function overload.

This specializes the version below to avoid recursive calls since this is commonly used.

e.g. const Vector error = factor.evaluateError(pose, point);

evaluateError() [3/5]

template<class T>

Vector gtsam::NoiseModelFactorT< VectorD, ValueTypes >::evaluateError ( const ValueTypes &... x, MatrixTypeT< ValueTypes > &... H ) const

inline

If all the optional arguments are matrices then redirect the call to the one which takes pointers.

To get access to this version of the function from derived classes one will need to use the "using" keyword and specify that like this: public: using NoiseModelFactorT<list the value types here>::evaluateError;

evaluateError() [4/5]

template<class T>

AreAllMatrixRefs< Vector, OptionalJacArgs... > gtsam::NoiseModelFactorT< VectorD, ValueTypes >::evaluateError ( const ValueTypes &... x, OptionalJacArgs &&... H ) const

inline

Some (but not all) optional Jacobians are omitted (function overload) and the jacobians are l-value references to matrices.

e.g. const Vector error = factor.evaluateError(pose, point, Hpose);

evaluateError() [5/5]

template<class T>

virtual VectorD gtsam::NoiseModelFactorT< VectorD, ValueTypes >::evaluateError	(	const ValueTypes &...	x,
		OptionalMatrixTypeT< ValueTypes >...	H ) const

Override evaluateError to finish implementing an n-way factor.

Both the x and H arguments are written here as parameter packs, but when overriding this method, you probably want to explicitly write them out. For example, for a 2-way factor with variable types Pose3 and Point3, you should implement:

Vector evaluateError(
    const Pose3& x1, const Point3& x2,
    OptionalMatrixType H1 = OptionalNone,
    OptionalMatrixType H2 = OptionalNone) const override { ... }

If any of the optional Matrix reference arguments are specified, it should compute both the function evaluation and its derivative(s) in the requested variables.

Parameters

	x	The values of the variables to evaluate the error for. Passed in as separate arguments.
[out]	H	The Jacobian with respect to each variable (optional).

print()

template<class T>

void gtsam::FrobeniusLeftBetweenFactor< T >::print ( const std::string & s, const KeyFormatter & keyFormatter = DefaultKeyFormatter ) const

inlineoverridevirtual

Print the factor and its measured transformation.

Reimplemented from gtsam::FrobeniusBetweenFactorNL< T >.

qcqpFactors()

template<class T>

void gtsam::FrobeniusLeftBetweenFactor< T >::qcqpFactors ( NonlinearFactorGraph * costs, NonlinearEqualityConstraints * constraints, size_t columnDimension = 1 ) const

inlineoverridevirtual

Add the exact D=1 homogeneous left-composed between cost to a QCQP.

Reimplemented from gtsam::NonlinearFactor.

---

The documentation for this class was generated from the following file:

• /tmp/gtsam-4.3.0-doxygen.rsXPUS/source/gtsam/slam/FrobeniusFactor.h