Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

SetterAssumptions

Guides

  • SetterAssumptions Package

Symbols

  • AssumeInteger
  • Assume
  • AssumePositive
  • AssumeReal
  • CurrentAssumptions
  • FrameAndStoreMatrix
  • FrameAndStore
  • RemoveAllAssumptions
  • RemoveAssumptions
  • Restart
KevinSetter`SetterAssumptions`
Restart
​
Restart[]
applies
ClearAll
to all variables in the Global context. It also resets variable
$Assumptions
to the default value
True
​
Examples  
(1)
Basic Examples  
(1)
At the top of code, it is useful to clear all values for all variables in memory and also all assumptions (so that the notebook can then be evaluated cleanly). This can be done with the
Restart
command:
In[1]:=
x=3
Out[1]=
3
In[2]:=
y=4
Out[2]=
4
In[3]:=
Restart
[]
Now, the variables have been cleared from memory:
In[4]:=
x
Out[4]=
x
In[5]:=
y
Out[5]=
y
Additionally, all assumptions on variables are removed.
RelatedGuides
▪
SetterAssumptions Package
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com