爱德华·L·格林。；莱恩伍德·S·希思。；本杰明·凯勒。 Opal：计算非交换Gröbner碱的系统。 （英语） Zbl 1379.68365号 休伯特·科蒙（编辑），《重写技术与应用》。第八届国际会议，RTA'97，西班牙锡切斯，1997年6月2日至5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-62950-4/pbk；978-3-540-69051-1/电子书）。计算机科学讲义1232，331-334（1997）。 引言：Opal是一个交互式系统，用于计算作为路径代数表示的非对易代数中的Gröbner基。该系统的主要目的是支持代数研究，但该系统也用于不同允许阶数和算法变化的实验。Opal是用C++编写的，使用Gnu C++库（libg++）和LiDIA库，以及Flex和Purdue编译器构造工具集生成的代码（PCCTS）[T.J.帕尔和R.W.Quong先生，“ANTLR:一个谓词-\（LL（k）\）语法分析器生成器”，Softw。，实际。专家。25，第7期，789–810（1995年；doi:10.1002/spe.4380250705)].我们简要介绍了蛋白石。我们首先定义路代数并给出它们与其他代数的关系。然后描述了Opal的功能及其接口，并简要讨论了其实现和模块结构。最后，提出了系统和接口的计划扩展。有关整个系列，请参见[兹比尔1360.68009]. 引用于4文件 MSC公司： 68瓦30 符号计算和代数计算 软件：利迪亚；蛋白石；ANTLR公司；PCCTS公司 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Green}等人，Lect。注释计算。科学。1232331-334（1997年；兹bl 1379.68365） 全文： 内政部