Open aaron-skydio opened 2 years ago
We might want to have a Manifold spec for things that are differentiable manifolds that we might want to optimize over (e.g. camera calibrations) but that aren't Lie groups, and then have LieGroup be a Group and a Manifold
We might want to have a Manifold spec for things that are differentiable manifolds that we might want to optimize over (e.g. camera calibrations) but that aren't Lie groups, and then have LieGroup be a Group and a Manifold