Works in Mathematica

[rprosperi]

(03-03-2014 07:46 PM)dan_h Wrote:  I didn't know that command existed, but it is in the Prime and HP 50G. So, I typed Assume(s>0), and then used the integral template following the comma. Answer:

[s 1/2].

The UG is very sparse with information about assume(), as is the online help, and they suggest this function is for programs.

At CAS command line, must it be used on the same command separated by semicolon (as in Parrise's example) or can it be used separately on a prior command?

If so, how long is the specified "assumption" maintained?

When does it expire, if at all?

On the 50g, one could "unassume" to remove the new assertion, but no such equivalent seems to be available on Prime. How do I remove it?

Can more than 1 assume() be issued and maintained simultaneously?