类函数

函数描述

Class Variable{}

使用符号表的全局哈希表使变量的保持规范化的函数

Class Power{}

由变量和其指数构成，表示变量幂积的函数

Class Term{}

利用rest指针存储的有序的变量幂积的乘积构成的项函数

Class Monomial{}

由一个系数和一个项构成的单项式函数

Class Polynomial{}

利用rest指针存储，表示为单项式的排序链表

Class Inference{}

具有多集语义的推论哈希表