You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
src/sage/interfaces/gap.py: don't load all packages on workspace reset
Resetting the GAP workspace already initializes a new Gap instance and
loads our default collection of packages. There's no need to load
anything else in gap_reset_workspace().
The disabling of the color prompt is now handled in both sage.gaprc
and sage.g (both GAP interfaces) so we remove that as well.
Fixes: GH-31761
0 commit comments