bunny代数恒等式蕴涵理论探索与实现代码

兔子在这里您可以找到我用于探索代数恒等式的蕴涵理论的代码。蕴涵理论是在给定数据域中成立的所有蕴涵的集合。这里的数据域是代数恒等式。项目包含类型（2, 1, 0） - 二元、一元、Nulary运算的代数属性探索的代码，这就是它们被称为BUNnies的原因。数据由三部分组成：兔子; 身份（最初的大小为5）；兔子和身份之间的关系：如果身份存在于兔子中，则兔子与身份有关。兔子的例子： f2 0 1 0 0 1 1 0 1 f1 0 1 1 0 f1 0 身份示例： -x = a(-x)，其中x -变量，a = f0：一元运算或常数，-x = f1(x)：一元运算，xy = f2(x,y)：二元运算，括号定义顺序。用于构建身份的语言在包含解析器的相应模块term_parser.py中有更详细的描述。