maomao3529 发表于 2012-10-21 12:46

求一个函数，能把字符串的内容不加简化地转换成表达式，

需要用Theorema证明一个由字符串表达的式子，Theorema貌似不能直接引用这个字符串，但是这个式子如果用ToExpression函数转换成表达式会由重复赋值的错误，所以我想找到一个能够将字符串内容原封不动转换成一个表达式的函数。Hold也不行，ReleaseHold后还是会报重复赋值的错
比如输入一个字符串“x=a”，要求输出的是表达式x=a，而不是像ToExpression那样直接把内容简化了
页: [1]
查看完整版本: 求一个函数，能把字符串的内容不加简化地转换成表达式，