変数を正として記述する必要があります。区分関数のパラメーターとして使用され、定義上正ですが、未知の正として設定する方法がわかりません。C++ では unsigned のようなものが必要ですが、Maple では. 何かアドバイスはありますか？
更新:
例：私はいくつかの評価を行い、結果としてこれを得ました：
piecewise(h <= 0, 0, 0 < h, (1/3)*h) (1)
しかし、何らかの理由で h > 0 であるため、(1) を簡単にしたいと思います。これを Maple に設定するにはどうすればよいですか?
問題を大まかに説明したため、何が必要かは明確ではありません。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
値が正の実数であることを Maple に示すには、以下を使用します。
assume(h>0);