J?rome Laurens <jerome.laurens <at> u-bourgogne.fr> writes:
> So I create a context, switch to that context, make the assumptions,
> make the computations, restore the previous context and kill
> the created one.
Sounds like the context need not have any intelligible name.
So you may as well call gensym to get an unused name.
Incidentally the way you are going about this (establish context,
do computation, throw away the context) makes perfect sense to me.
> Of course I could perfectly use forget but that would be a nightmare
Right, it is better to use the context system for managing
the scope of assumptions.
best
Robert Dodier