content SciMax Toolbox contexts

SciMax Toolbox >> context

context

Option variable

context

Description

Default value: initial

context names the collection of facts maintained by assume and forget. assume adds facts to the collection named by context, while forget removes facts.

Binding context to a name foo changes the current context to foo. If the specified context foo does not yet exist, it is created automatically by a call to newcontext.

The specified context is activated automatically.

See for a general description of the context mechanism.

content SciMax Toolbox contexts