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`
Assume
​
Assume
[a]
adds assumption
a
to the global variable
$Assumptions
. If argument
a
consists of multiple assumptions, each is appended in sequence to
$Assumptions
​
Examples  
(1)
Basic Examples  
(1)
By default, Mathematica assumes that variables are complex-valued. Accordingly, the following expression does not simplify
In[1]:=
2
x
+ArcCos[Cos[θ]]//Simplify
Out[1]=
2
x
+ArcCos[Cos[θ]]
To make an assumption or set of assumptions that will remain in effect, use:
In[2]:=
Assume
[0≤θ<π,x>0]
Out[2]=
0≤θ<π&&x>0
Now, the expressions containing x and θ simplify:
In[3]:=
2
x
+ArcCos[Cos[θ]]//Simplify
Out[3]=
x+θ
SeeAlso
AssumePositive
▪
AssumeReal
▪
AssumeInteger
▪
RemoveAssumptions
▪
RemoveAllAssumptions
▪
CurrentAssumptions
RelatedGuides
▪
SetterAssumptions Package
""

© 2025 Wolfram. All rights reserved.

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