libnormalize标准化

CoCoALib和cococo5中libnormalize的集成。libnormalize是一个用于计算有理锥和仿射幺半群的C++库,CoCoALib/CoCoA 5为交换代数中的计算提供了一个通用的环境。为了互惠互利,我们在这两个软件库之间开发了一个简单而快速的接口。我们介绍了这种集成是如何设计的,然后详细描述了我们在CoCoALib(以及CoCoA 5)中提供的normalize函数。