From 55ea9572354c55fec4d74b4b1a09067620f7f1d3 Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Thu, 14 Mar 2024 16:21:19 +0100 Subject: [PATCH] load the GAP packages sotgrps and sglppow --- src/Oscar.jl | 2 ++ 1 file changed, 2 insertions(+) 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