This is a package to rework the Lie group features of Manifolds.jl
in a unified way into a separate package.
This especially also includes a few different choices in default behaviour that
is different from the Manifolds.jl
one. For purely manifold-based operations, any Lie group still is “build upon” a Riemannian manifold.
See #5 for an overview of features that we plan to implement. Feel free to add to this list with opening further issues.