expr /。 rules 同上
expr //。rules 将规则rules 不断作用到expr 上，直到无法作用为止
Dispatch＇｛lhs1…》rhs1；lhs2…》rhs2；。。。｝＇综合各个规则，产生一组优化的规则组
Mathematica 函数及使用方法——查询函数、串函数
—————————————————————————————————————
十八、查询函数
（*查询函数一般是检验表达式是否满足某些特殊形式，并返回True 或False*）
（*可以在Mathematica 中用“？*Q”查询到 *）
ArgumentCountQ MatrixQ
AtomQ MemberQ
DigitQ NameQ
EllipticNomeQ NumberQ
EvenQ NumericQ
ExactNumberQ OddQ
FreeQ OptionQ
HypergeometricPFQ OrderedQ
InexactNumberQ PartitionsQ
IntegerQ PolynomialQ
IntervalMemberQ PrimeQ
InverseEllipticNomeQ SameQ
收集制作：科研中国SciEi 文章出处：南京大学小百合站
LegendreQ StringMatchQ
LetterQ StringQ
LinkConnectedQ SyntaxQ
LinkReadyQ TrueQ
ListQ UnsameQ
LowerCaseQ UpperCaseQ
MachineNumberQ ValueQ
MatchLocalNameQ VectorQ
MatchQ
Mathematica 函数及使用方法
—————————————————————————————————————
十九、字符串函数
〃text〃 一个串，头为_String
〃s1〃〃s2〃。。或StringJoin＇〃s1〃；〃s2〃；。。＇ 串的连接
StringLength＇〃string〃＇ 串长度
StringReverse＇〃string〃＇ 串反转
StringTake＇〃string〃； n＇ 取串的前n 个字符的子串，参数同Take＇＇
StringDrop＇〃string〃； n＇ 参见Drop；串也就是一个表
StringInsert＇〃string〃；〃snew〃；n＇ 插入，参见Insert＇＇
StringPosition＇〃string〃； 〃sub〃＇ 返回子串sub 在string 中起止字母位置
StringReplace＇〃string〃；｛〃s1〃…》〃p1〃；。。｝＇ 子串替换
StringReplacePart＇〃string〃； 〃snew〃； ｛m； n｝＇
把string 第m~n 个字母之间的替换为snew
StringToStream＇〃string〃＇ 把串当作一个输入流赋予一个变量
Characters＇〃string〃＇ 把串〃string〃分解为每一个字符的表
ToCharacterCode＇〃string〃＇ 把串〃string〃分解为每一个字符ASCII 值的表
FromCharacterCode＇n＇ ToCharacterCode 的逆函数
FromCharacterCode＇｛n1；n2；。。｝＇ToCharacterCode 的逆函数
ToUpperCase＇string＇ 把串的大写形式
ToLowerCase＇string＇ 把串的小写形式
CharacterRange＇〃c1〃；〃c2〃＇ 给出ASCII 吗在c1 到c2 之间的字符列表
ToString＇expr＇ 把表达式变为串的形式
ToExpression＇input＇ 把一个串变为表达式
Names＇〃string〃＇ 与？string 同，返回与string 同名的变量列表