此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

A.5.2 赋值

Mathematica中两种基本赋值类型.

Mathematica中的赋值指明表达式的变换法则.你所作的每个赋值须与一个特定的Mathematica符号相联系.

与不同符号相关的赋值

当进行形如f[args] = rhs的赋值时,Mathematica先看 f,然后是f的头,接着其它的头,如此,直到它找到与该赋值相关的符号.

当进行形如hs ^= rhs的赋值时,Mathematica将建立与每一个明确的符号相联系的变换法则,这些符号要么作为 lhs的一个变量,要么作为 lhs的一个变量的头出现.
与一个特定符号s相关联的变换法则总以一定的顺序储存,并且在被使用时也以该顺序检验. 每次进行赋值时,除下述情况外,相应的变换法则被插在与s相关的变换法则表的末尾:
• 变换法则的左边与一个已存入的变换法则相同,并且右边任意的/;条件也相同.这种情况下,新的变换法则代替老规则.

Mathematica确信新的变换法则比一个已存在的法则更具体,并且如将其放在这个法则之后会从不使用.这种情况下,新的法则放在老法则之前.注意,在许多情况下,不可能确定是否一个法则比另一个更具体;这样的情况,新s法则总插在末尾.