蛋白石

Opal:计算非对易Gröbner基的系统。Opal是一个用于计算非交换代数中Gröbner基的交互式系统。该系统的主要目的是支持代数研究,但该系统也可用于不同容许阶数和算法变化的实验。Opal是用C++编写的,使用gnuc++库(libg++)和LiDIA库,以及Flex和Purdue编译器构造工具集(PCCTS)生成的代码[T.J.Parr和R.W.Quong,“ANTLR:a predicated LL(k)parser generator”,Softw.,Pract.Exper.25,No.7,789–810(1995;doi:10.1002/spe.4380250705)]。我们对蛋白石做了简要的描述。我们首先定义路径代数并给出它们与其他代数的关系。然后介绍了Opal的功能和接口,并简要讨论了Opal的实现和模块结构。最后,给出了系统和接口的计划扩展。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换