进行关于变量的假设
使用关键字 assume 和一个或多个修改表达式来进行有关符号表达式中变量域的假设，例如将其限定为一个实数。可插入到 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 在其中查找结果的区域，并且主要用于简化和符号积分。
• 默认情况下，Mathcad 中的所有变量均为实数。使用 complex 修饰符来指示变量为复数：
• Mathcad 假定只有函数外的变量 t 为复数。
• 使用 All 修饰符来指示所有 t 变量，包括函数内的 t 变量，均为复数：
示例
• 要将 x 的域限定为实数，可使用此表达式：
• 要将 x 的域限定为复数，请使用此表达式：
• 要限制表达式中多个变量的域，可在关键字 assume 的后面插入一组逗号分隔的修改表达式：
• 要限制表达式中所有变量的域，可在修改的表达式中插入修饰符 ALL：
