在Matlab符号计算中灵活运用assume