lie_theory_lib. A basic library for Lie Theory, containing the most important Lie groups used in robotics and estimation. It implements the rotation groups S1, S3, SO2 and SO3, the rigid motion groups SE2 and SE3, and the translation group T. It calculates a variety of lie operations (plus and minus operators, adjoints, right and left jacobians, etc.).