maple - Maple 中符号的正值

Question

我需要将变量描述为积极的。它用作分段函数中的参数，根据定义它是正数，但我不知道如何将其设置为未知正数。我需要像 C++ 中的 unsigned 之类的东西，但对于 Maple。有什么建议吗？

更新：

例如：我做了一些评估，结果如下：

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

但由于某些原因 h > 0，所以我想简化 (1)。如何将其设置为 Maple？

Answer 1

不清楚您想要什么，因为您已经用宽松的术语描述了这个问题。在 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  

Answer 2

要向 Maple 指示该值为正实数，请使用

assume(h>0);