[Bug 1754319] Review Request: gap-pkg-corelg - Computation with real Lie groups