GAP.jl
GAP.jl copied to clipboard
Replace `Julia.GAP` by a cleaner solution?
Right now we use a hack to make sure Julia.GAP
always refers to the GAP
julia module, even if it was not loaded into Julia's Main
module.
This requires some hacky code. It also means that Main.GAP
in Julia and Julia.GAP
in GAP can reference different objects (mind you, that's not a major concern as it is easy to avoid for a user, but it's still annoying).
So perhaps we can provide an additional alternative means to access it (and then phase out use of Julia.GAP
over time. E.g. we could add a global variable GAP_jl
which contains the GAP module. Suggestions for better names welcome. (I would not call it GAP
, though, as I believe this would be very confusing for GAP users).
If we went with GAP_jl
, then for symmetry in Oscar we could also provide Oscar_jl
as an alias for the Oscar
global variable.