Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
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
Create a Paclet
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`
A
s
s
u
m
e
A
s
s
u
m
e
[
a
]
a
d
d
s
a
s
s
u
m
p
t
i
o
n
a
t
o
t
h
e
g
l
o
b
a
l
v
a
r
i
a
b
l
e
$
A
s
s
u
m
p
t
i
o
n
s
.
I
f
a
r
g
u
m
e
n
t
a
c
o
n
s
i
s
t
s
o
f
m
u
l
t
i
p
l
e
a
s
s
u
m
p
t
i
o
n
s
,
e
a
c
h
i
s
a
p
p
e
n
d
e
d
i
n
s
e
q
u
e
n
c
e
t
o
$
A
s
s
u
m
p
t
i
o
n
s
Examples
(
1
)
Basic Examples
(
1
)
By default, Mathematica assumes that variables are complex-valued. Accordingly, the following expression does not simplify
I
n
[
1
]
:
=
2
x
+
A
r
c
C
o
s
[
C
o
s
[
θ
]
]
/
/
S
i
m
p
l
i
f
y
O
u
t
[
1
]
=
2
x
+
A
r
c
C
o
s
[
C
o
s
[
θ
]
]
To make an assumption or set of assumptions that will remain in effect, use:
I
n
[
2
]
:
=
A
s
s
u
m
e
[
0
≤
θ
<
π
,
x
>
0
]
O
u
t
[
2
]
=
0
≤
θ
<
π
&
&
x
>
0
Now, the expressions containing x and
θ
simplify:
I
n
[
3
]
:
=
2
x
+
A
r
c
C
o
s
[
C
o
s
[
θ
]
]
/
/
S
i
m
p
l
i
f
y
O
u
t
[
3
]
=
x
+
θ
S
e
e
A
l
s
o
A
s
s
u
m
e
P
o
s
i
t
i
v
e
▪
A
s
s
u
m
e
R
e
a
l
▪
A
s
s
u
m
e
I
n
t
e
g
e
r
▪
R
e
m
o
v
e
A
s
s
u
m
p
t
i
o
n
s
▪
R
e
m
o
v
e
A
l
l
A
s
s
u
m
p
t
i
o
n
s
▪
C
u
r
r
e
n
t
A
s
s
u
m
p
t
i
o
n
s
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
S
e
t
t
e
r
A
s
s
u
m
p
t
i
o
n
s
P
a
c
k
a
g
e
"
"