https://www.gap-system.org/Packages/sophus.html
