LIB规范

CoCoALib和可可5的LIB正规化集成。LIQualIZC是一个C++库,用于有理锥和仿射幺半群的计算,COCORIAB/COCOA 5提供了交换代数中的计算环境。为了互惠互利,我们已经开发了两个软件库之间的简单而快速的接口。PAR我们展示了这种集成是如何设计的,然后详细描述了我们在COCORALB(也在COCOA 5)中可用的正规化函数。