Question: how can I get back the original variable after unsing assume

 

> 

restart

> 

A := Omega; assume(Omega > 0); B = Omega

B = Omega

(1)
> 

``

Download assumetest.mw

Please Wait...