公式处理

数学公式的代数操作，主要用来以算术公式表示计算机程序。