シンボリック > シンボリックの使用 > 変数の使用 > 変数についての仮説を立てる
  
変数についての仮説を立てる
キーワード assume および 1 つまたは複数の変更式を使用して、シンボリック式における変数の領域 (実数に制限するなど) についての仮説を立てます。assume の後に挿入できる変更式のタイプは次のとおりです。
変更式
仮説
x = real
x は実数です。
x = complex
x は複素数です。
x = integer
x は整数です。
x > a
x は a よりも大きい実数です。
x ≥ a
x は a 以上の実数です。
x < b
x は b 未満の実数です。
x ≤ b
x は b 以下の実数です。
x = RealRange(a, b)
x は a < x < b (ここで a < b) の実数です。
n = even
n は偶数の整数です。
n = odd
n は奇数の整数です。
先行するリストで等式を指定するには、論理演算子の等号を使用します。
変数には次の規則が適用されます。
• 複数のキーワードの後に assume を挿入した場合、変数についての仮説は最初のキーワードで実行される演算に適用されます。
• キーワード assume は割り当てや代入を行いません。これを行うには、変数を定義するかキーワード substitute を使用します。
• 数値的に定義された変数を除外または代入するには、キーワード explicit を使用します。キーワード assume は PTC Mathcad で解を求める領域にはほとんど制約を与えないので、簡素化とシンボリックな積分でよく使用されます。
例
• x の領域を実数に制限するには、次のようにします。
クリックしてこの式をコピー
• x の領域を複素数に制限するには、次のようにします。
クリックしてこの式をコピー
• 式における 2 つ以上の変数の領域を制限するには、コンマで区切った変更式のリストを assume キーワードの後ろに次のように挿入します。
クリックしてこの式をコピー
• 式におけるすべての変数の領域を制限するには、変更式に変更因子 ALL を挿入します。
クリックしてこの式をコピー