WOLFRAM 语言教程

方程

"定义变量" 讨论赋值问题,例如 x 赋以值 y. 本节讨论方程 ,它检验 相等性. 方程 检验 x 是否等于y.

这里检验 是否相等. 产生的结果是符号 True.
In[1]:=
Click for copyable input
Out[1]=

区分清楚 是很重要的. 强制 进行赋值操作的声明,而 检验 xy 是否相等,而不引起明确的行动. 使用过C语言的用户会看出 Wolfram 语言的赋值和检验表示法与C语言是相同的.

x=yx 赋以值 y
x==y检验 xy 是否相等

赋值和检验.

以值 .
In[2]:=
Click for copyable input
Out[2]=
如果你查看 ,则得到.
In[3]:=
Click for copyable input
Out[3]=
这里检验 是否等于. 在这个情况下,结果为真.
In[4]:=
Click for copyable input
Out[4]=
检验发现 等于 ,不等于 .
In[5]:=
Click for copyable input
Out[5]=
清除赋给 的值.
In[6]:=
Click for copyable input

到此为止,我们使用的检验仅涉及到数,并且总能得到确定答案,True 或者 False. 然而,用户也能对符号表达式进行检验.

Wolfram 语言不能得到这个检验的确定结果,除非你已赋给 一个特定的数值.
In[7]:=
Click for copyable input
Out[7]=
当用 代换 时,检验结果为 False.
In[8]:=
Click for copyable input
Out[8]=

甚至当用户检验符号表达式时,有时也能得到确定结果. 例如,当用户检验两个恒等式 时,无论表达式中的变量是什么数值,Wolfram 语言都知道该两个表达式是相等的.

不论 为何值,这两个表达式都相等 ,所以结果为 True.
In[9]:=
Click for copyable input
Out[9]=
Wolfram 语言并不检验这两个表达式是否相等. 此时,使用 Expand 将使它们有相同的形式.
In[10]:=
Click for copyable input
Out[10]=

在 Wolfram 语言中,如 这样的 表达式代表方程式. Wolfram 语言中有许多处理和求解方程的函数.

这是 Wolfram 语言中的一个方程. 在 "解方程" 中讨论如何求解 .
In[11]:=
Click for copyable input
Out[11]=
它可以给方程赋一个名称.
In[12]:=
Click for copyable input
Out[12]=
查看 ,将得到该方程.
In[13]:=
Click for copyable input
Out[13]=