猫鼬

突变理论应用的计算机代数工具。我们描述了一个用REDUCE编写的包的当前状态,该包正在开发中以解决在应用基本突变理论时出现的以下问题。对于某个奇异点的输入展开,识别问题是寻找一组拓扑不变量,以确定奇点的等价类。如果模态不变量小于3,那么展开的正规形式是已知的。该识别算法根据奇异性理论的局部要求,对Gröbner基采用了Buchberger算法。映射问题是找到泰勒多项式,达到任何期望的次数,正确的等价,将给定的展开转换成它的正规形式。