I need to describe variable as positive. It used as a parameter in a piece-wise function, and it is positive by definition, but I don't know how to set it as unknown positive. I need something like unsigned in c++, but for Maple. Any advices?
Upd:
For example: I made some evaluation and got this as the result:
piecewise(h <= 0, 0, 0 < h, (1/3)*h) (1)
but by some reasons h > 0, so I want to simplify (1). How do I set this into Maple?
To indicate to Maple the value is positive real, use
assume(h>0);