Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
KevinSetter`SetterAssumptions`
RemoveAllAssumptions  |
| | |||||
Examples
(1)
Basic Examples
(1)
In[1]:=
 | AssumePositive |
Out[1]=
x∈&&x>0&&y∈&&y>0&&z∈&&z>0
To remove assumptions for a variable or set of variables, use:
In[2]:=
| RemoveAssumptions |
Out[2]=
x∈&&x>0
In[3]:=
| RemoveAllAssumptions |
Out[3]=
True
 |
|
 |
|
""