Manif项目发布0.0.5版本更新：支持Ceres 2.2+与新增李代数运算

Manif是一个专注于李群和李代数运算的C++库，近期发布了0.0.5版本更新。这次更新带来了多项重要改进，特别是对Ceres求解器2.2及以上版本的支持，以及新增的李代数运算功能。

在数学和机器人学领域，李群和李代数是描述旋转、刚体运动等连续变换的重要数学工具。Manif库为这些数学概念提供了高效的C++实现，广泛应用于SLAM、运动规划等领域。

本次0.0.5版本的主要更新内容包括：

1. Ceres求解器兼容性提升：新增对Ceres 2.2及以上版本的支持，这使得Manif可以更好地与Ubuntu 24.04等新系统兼容。Ceres是一个广泛使用的非线性优化库，在SLAM、计算机视觉等领域有重要应用。

2. 李代数运算增强：

   • 新增Lie bracket（李括号）运算支持
   • 实现了vee算子（∨运算）

这些新增的数学运算扩展了Manif的功能边界，使其能够处理更复杂的李代数运算场景。李括号是李代数中的基本运算，用于描述两个无穷小变换的组合效果；而vee算子则是将矩阵形式的李代数元素转换为向量表示的重要工具。

对于希望在Debian等Linux发行版中集成Manif的开发者来说，0.0.5版本的发布提供了更现代的依赖支持和更丰富的功能集。该版本解决了长期存在的版本滞后问题，使社区能够更方便地获取最新的功能改进。

Manif库的持续发展体现了李群理论在实际工程应用中的重要性，特别是在机器人状态估计、运动规划等需要精确数学建模的领域。随着0.0.5版本的发布，开发者现在可以更方便地在现代系统环境中利用这些高级数学工具。