Положительное значение для символа в клене

Question

Мне нужно описать переменную как положительную. Он используется в качестве параметра в кусочной функции, и он является положительным по определению, но я не знаю, как установить его как неизвестный положительный. Мне нужно что-то вроде unsigned в C++, но для Maple. Любые советы?

Upd:

Например: я сделал некоторую оценку и получил это в результате:

  piecewise(h <= 0, 0, 0 < h, (1/3)*h)  (1)

но по некоторым причинам h > 0, поэтому я хочу упростить (1). Как мне установить это в клен?

Answer 1

Чтобы указать Maple значение положительное действительное, используйте

assume(h>0);

Answer 2

Не совсем понятно, что вы хотите, так как вы описали проблему в общих чертах. Что вы имеете в виду, в техническом смысле Maple, под "описанием" здесь? А "функция"?

f:=proc(x::positive) if x>1 then y else z end if end proc:

f(4);
                           y

f(-4);
Error, invalid input: f expects its 1st argument, x, to be of type positive,
but received -4

В свете обновления к посту: возможно, вы хотите что-то вроде этого,

f:=piecewise(h <= 0, 0, 0 < h, (1/3)*h):

simplify(f) assuming h>0;

                          1  
                          - h
                          3