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...