[ library(gap) | Reference Manual | Alphabetic Index ]
gap_restart
Restart a GAP session
Description
Restarts the currently active GAP session. This is useful if one wishes
to discard GAP's current state and start again with a fresh session (all
GAP state is lost).
This predicate is simply a short-hand for calling gap_shutdown/0 and then
gap_ensure_started/0.
See Also
gap_ensure_started / 0, gap_shutdown / 0, gap_running / 0