A C++ library for algebraic computations of rigid body motions