MOS复合体 swMATH ID: 20974 软件作者： Dror Bar-Natan公司 描述： Manolescu-Ozsvath-Sarkar综合体。这个Mathematica笔记本包含并略微记录了我在2006年夏天编写的一个程序。该程序建立了Manolescu Ozsvath Sarkar（MOS）复合体，并计算其同源性，即“Knot-Floer同源性”。在arXiv:math一文中详细描述了complex本身。Manolescu、Ozsvath和Sarkar的GT/0607691。正如预期的那样，该程序失败了。MOS复合体的复杂性增长为n！，因此，只能计算较小节点的Knot-Floer同源性。但多亏了许多其他作者的工作，所有最多有10个交叉点的结和许多更大的结都具有Knot-Floer同源性。所以这里没有新的计算。然而，这个程序并不是毫无意义的：我是通过写来学习的，你可以通过阅读和使用来学习，其中的一部分是可回收的。有一段时间，我计划维护、升级和更新这个笔记本。现在让T3表示时间，让T2表示您下载此文件的时间，让T1表示下面第一行代码中定义的时间。如果（T3-T2）>（T2-T1），您应该从http://www下载一份新的副本。数学。多伦多。edu/drorbn/Misc/MOSComplex/MOSComplex。nb（或网络搜索当前位置）。 主页： https://www.math.toronto.edu/~drorbn/Misc/MOSComplex/index.html 依赖项： 数学软件 相关软件： HFK公司；网格链接 引用于： 1文件 2位作者引用 1 约翰·鲍德温。 1 威廉·丹尼·吉勒姆 连载1篇 1 结理论杂志及其分歧 在1个字段中引用 1 歧管和细胞复合体（57-XX） 按年份列出的引文