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