diff --git a/src/Oscar.jl b/src/Oscar.jl index 10f6865a54b5..c87e8a5352f1 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -127,6 +127,8 @@ function __init__() # We want some GAP packages. (It is no error if they cannot be loaded.) for pkg in [ "ferret", # backtrack in permutation groups + "sotgrps", # extend the small groups library + "sglppow", # extend the small groups library ] GAP.Packages.load(pkg) end