-
Notifications
You must be signed in to change notification settings - Fork 236
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support for objects which evolve on manifold but do not form group (Unit Sphere manifold, as an example) #260
Comments
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 So we need to discuss how these S^n would integrate with the rest of manif: What to do with
how to frame the manifolds operators:
Could you please comment on these issues? Thank you /// Joan |
Dear @joansola ,
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.
May not be applicable. But I'm not sure.
May not be applicable. But I'm not sure.
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.
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.
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:
minus and left invariants can be achieved as well having SO3Tangent and SO3 as intermediate, or storage types. To summarize: Best regards, |
Dear @artivis,
I'm considering extending manif with the Unit Sphere manifold Sn (directions in Rn+1).
If it is compatible with the repository roadmap?
PS1: I see, that I'll have to inherit from lie_group_base.h, but that does not sound right to me.
Best regards,
Alex
The text was updated successfully, but these errors were encountered: