Advanced Search
All Posts : Product Tips & Techniques

assume vs assuming

pagan 5127 Maple
June 22 2010
3

Here's an assume vs assuming difference worth keeping in mind

> restart:
> is(x^2>=0) assuming x::real;
                                     true
 
> restart:
> f := proc() is(x^2>=0); end proc:
> assume(x::real):
> f();
                                     true
 
> restart:
> f := proc() is(x^2>=0); end proc:
> f() assuming x::real;
                                     false

Please Wait...