Mathematica 定义函数与变换规则