[ANN] LieGroups.jl

Lie groups are a tool to work with groups, namely they are a manifold equipped with a smooth group operation. In practice these appear when dealing with rotations on a Euclidean space, the set of translations and rotations, or so-called symplectic matrices in Hamiltonian systems.

LieGroups.jl is a new package in the Juliamanifolds ecosystem and provides both an interface to work with and define Lie groups as well as a library of Lie groups.
These are built on the manifolds defined in Manifolds.jl.
While Manifolds.jl contains a predecessor, the GroupManifolds approach to Lie groups, the new package puts an even stronger focus on Lie group features.

Main features of this new package are:

There will also be a talk at the JuliaCon this year about this package, see here, as well as an overview talk about JuliaManifolds.

We hope this is useful to anyone working with Lie groups and would love to hearfeedback and further ideas that could be covered.

33 Likes

LieGroups.jl 0.1.5

The most recent update from today is just a minor change for LieGroups.jl itself, but concerning the JuliaManifolds ecosystem, we could finally remove the (slight) duplication we had between LieGroups.jl and Manifolds.jl s GroupManifold structure. Now manifolds with a group structure are all defined and unified in LieGroups.jl. If you used GroupManifolds before, check out our detailed How to transition tutorial and list of changes.

3 Likes