Lie groups and algebra with some quaternions - View it on GitHub