expression assuming property の使い方では、数式 expression に含まれるすべての名前について property の仮定に基づいて expression を評価します。

property パラメータには、type、不等式、または name や名前を含む数式で仮定される他のプロパティを使用できます。

注意: assuming を使用して実行する計算は、assuming を呼び出す前または後に実行する計算には影響しません。

sqrt(a^2) assuming a > 0;

sqrt(a^2);

e1 := ln(exp(-k[1]*t));

e1 assuming real;

e1;

e2:= ln (y/x)-ln(y)+ln(x);

simplify(e2) assuming x:: positive;

simplify(e2) assuming y::positive;

simplify(subs(x=-x,e2)) assuming x::posint, y::posint;

about(x):

x:
  nothing known about this object

about(y);

y:
  nothing known about this object

e3 := Int(exp(-u*x)*x^(1/3), x = 0..infinity);

value(e3) assuming u >= 0;

value(e3) assuming u < 0;

f := x->sqrt(a^2)+x;

f(1) assuming a>0;

assume(a>0);

f(1);

以下を含む詳細については、

特定の変数に適用される仮定に基づいて数式を評価する方法

assuming コマンドが仮定の下でどのように計算を実行するかについての詳細

assume コマンドと assuming コマンドを併用する方法

assuming/details を参照してください。