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
Examples
Guides
Guide to ZigangPan`Examples`
Symbols
assume01
assumePositive
assumeReal
assumeStandard
ZigangPan`Examples`
a
s
s
u
m
e
R
e
a
l
a
s
s
u
m
e
R
e
a
l
[
p
a
r
a
m
e
t
e
r
s
]
r
e
t
u
r
n
s
t
h
e
a
s
s
u
m
p
t
i
o
n
t
h
a
t
e
v
e
r
y
e
l
e
m
e
n
t
(
a
n
A
t
o
m
)
o
f
p
a
r
a
m
e
t
e
r
s
i
s
a
r
e
a
l
n
u
m
b
e
r
.
W
i
t
h
t
h
e
c
o
m
m
a
n
d
,
$
A
s
s
u
m
p
t
i
o
n
s
=
a
s
s
u
m
e
R
e
a
l
[
p
a
r
a
m
e
t
e
r
s
]
&
&
(
.
.
.
)
o
n
e
c
a
n
s
e
t
t
h
e
d
e
s
i
r
e
d
a
s
s
u
m
p
t
i
o
n
s
o
n
e
l
e
m
e
n
t
s
o
f
p
a
r
a
m
e
t
e
r
s
.
Examples
(
1
)
Basic Examples
(
1
)
I
n
[
1
]
:
=
x
=
{
x
1
,
x
2
,
x
3
,
x
4
}
;
$
A
s
s
u
m
p
t
i
o
n
s
=
R
e
d
u
c
e
$
A
s
s
u
m
p
t
i
o
n
s
&
&
a
s
s
u
m
e
R
e
a
l
[
x
]
O
u
t
[
1
]
=
x
1
∈
&
&
x
2
∈
&
&
x
3
∈
&
&
x
4
∈
&
&
θ
3
>
0
&
&
θ
2
>
0
&
&
θ
1
>
0
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
S
t
a
n
d
a
r
d
▪
a
s
s
u
m
e
0
1
"
"
