Chapter 2
Needs["Notation`"]; Symbolize 设置为符号
Cases 生成匹配模式 在简化方程时很有用
Join 合并list
CoefficientList 给出相同项的系数，相同项系数相同
eq241c = expr - # & /@ eq2 用expr两边同时减去eq2，达到方程移项的目的
Subtract @@ eq == 0 将Equal头换成Subtract头，达到移项的目的
zetaRule = Solve[transRule/.Rule->Equal,{...}] 利用Solve反解出逆变换