A.5.2 赋值

Mathematica中两种基本赋值类型.

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

与不同符号相关的赋值

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

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

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