On Mon, Sep 19, 2016 at 9:56 AM, Jeroen Demeyer <jdeme...@cage.ugent.be>
> On 2016-09-19 18:50, William Stein wrote:
>> That's only "dangerous" if you expect reset to do the same thing as
>> restart sage
> I would guess that users *do* expect that.
Delete all user-defined variables, reset all global variables back
to their default states, and reset all interfaces to other computer
If vars is specified, just restore the value of vars and leave all
other variables alone (i.e., call restore).
Note that the variables in the set sage.misc.reset.EXCLUDE are
excluded from being reset.
That doesn't suggest reset does the exact same thing as restarting Sage.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.