Comments (2)
Dear Alex,
Thanks for this suggestion. Before elaborating on it, I think we need a little rationale on what needs to be done, or what can be done. I say this because manif
implements Lie theory and S^n are not Lie groups, just manifolds.
So we need to discuss how these S^n would integrate with the rest of manif:
What to do with
- inverse
- composition
- exp / log
- adjoint
how to frame the manifolds operators:
- retract / lift --> our plus / minus operators in manif
Could you please comment on these issues?
Thank you /// Joan
from manif.
Dear @joansola ,
Thank you for your answer!
manif implements Lie theory and S^n are not Lie groups, just manifolds.
Yes, that is the reason of my question. The name of the repository manif[old] suggests that there might be room for manifolds, but not only Lie groups. There are similar benefits of using manifolds to describe robots' states or observations similar to what we have with lie groups such as correct increments/decrements and invariant preservation.
I'm not sure if it will be correct to inherit from LieGroupBase. This will require the implementation of such methods as inverse, composition, which may not be applicable to manifolds. Maybe the LieGroupBase itself should inherit from the ManifoldBase with a simpler interface, and manifolds inherit from ManifoldBase directly.
Please forgive me for some imperfect definitions.
inverse
May not be applicable. But I'm not sure.
composition
May not be applicable. But I'm not sure.
exp / log
Tangent space (plane for S2) can be defined at each point on a unit sphere. The basis for the tangent vector space can also be uniquely defined at each tangent plane and at the manifold origin (I do not use identity as it will require the composition). let's say the origin unit vector r0 = [1, 0, 0], then the basis at r0 is formed by projecting e_y and e_z components of a global basis onto the plane. Basis rotates together with the unit vector and tangent plane to form a unique tangent space and basis at each point on a sphere if it is rotated by a single shortest rotation (not a composition of rotations) with rotation around x = 0. As far as I can see - each point on a sphere can be reached in such a way while keeping the basis unique. The tangent vector then represents a linear speed of the vector tip and can be exponentiated into the rotation of the unit vector.
adjoint
It looks like it is impossible to define Adj for S2 at least if the basis in tangent space is defined as rotating the basis at the origin with a single shortest rotation. But I may be wrong here.
retract / lift --> our plus / minus operators in manif
Right plus can be seen as a rotation of the vector r1 around the axis which is formed by crossing tangent vector v1 with e_x by the angle which is equal to the norm of the v1. We have to go through the SO3Tangent and SO3 here to rotate r1. Something like:
def S3Tangent(yz):
ex = np.array((1, 0, 0))
vw = np.array((0, yz[0], yz[1]))
vw_cross = np.cross(ex, vw)
axis = vw_cross / np.linalg.norm(vw_cross)
return mp.SO3Tangent(axis * np.linalg.norm(vw[1:]))
minus and left invariants can be achieved as well having SO3Tangent and SO3 as intermediate, or storage types.
To summarize:
As a naΡve approach, we can use SO3 as an object that rotates origin r0 to r1, the first column of the SO3.rotation() as our unit vector r, and the linear speed of the tip of this vector as a vector in tangent space.
Best regards,
Alex
from manif.
Related Issues (20)
- Documentation cover page looks bad in dark mode HOT 9
- Links for c++ examples broken in documentation
- Motivation for the ESKF in the paper example HOT 6
- Provide a way to check if group is compact or not at compile and run time. HOT 8
- se2_localization example displaying trajectory in xy HOT 3
- Feature request: Cotangent space HOT 2
- Question about left Jacobian trick in exp of SE(3). Is it just a special case? HOT 3
- Question about "A mciro lie theory..." and "Quaternion kinematics for the ESKF" HOT 2
- Question regarding Jacobian of inverse action HOT 4
- Lie Bracket operation HOT 8
- Paper / Cheat Sheet vs Code inconsistency HOT 2
- Broken with current Eigen3? HOT 7
- Global versus local tangent space HOT 2
- Parsing an Eigen::Isometry3d matrix HOT 5
- Support specifying C++ standard from CMake command line when compiling Python bindings HOT 2
- cc1plus(48849) malloc: *** mmap(size=2097152) failed (error code=12) HOT 2
- Minus operator of SE(3) in paper HOT 1
- Practical benefit of SE(3) / Sim(3) vs T(3) x SO(3) HOT 5
- cast from float to double HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from manif.