[ library(gap) | The ECLiPSe Libraries | 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