最简指令

请参阅arXiv.org/0905.2229或在这里 了解数学细节。

该程序执行两种计算：在同义反复模块中，关于固定Hilbert格式X（X）^[米]_B类,如本文§2所述；以及重言式丛的Chern数的计算，如本文§3所示。

目前，该程序在5度及更高的温度下相当缓慢。A更快版本正在构建中。

自始至终，我们都会修一支好铅笔X（X）/B类和一个线束L（左）,并使用符号：ω = ω_{X（X）/B类},克=纤维属，d日=纤维度L（左）,δ=单根纤维的数量，假设为1节点。

同义反复模块计算

数据如下：

•单块对角线Γ_(n个)[ω^一L（左）^b条],n个≥ 1,在里面X（X）^[米]_B类代表通过写为M（n，a，b）.一个通用的多块对角线，可以写成Γ_(n个)[ω^一L（左）^b条]★Γ_(n个')[ω^一'L（左）^b条']★...表示为M（n，a，b；n’，a’，b’；…）.列中的尾随零可以省略。

亏格单曲线上的一个类似类x个可能是指定为M（dim_b=0；属=x；a，b，c；…）.x个可以是符号或数字。如果x个是这封信吗克，可以省略。这个重量属于米根据定义dim_b加上第一行的总和。默认情况下，dim_b等于1，除非如上所述指定为0。

•节点滚动F类 ^米,n个 _{j;n个',n个''...}[ω^b条L（左）^c（c）,...]表示为F^n_j（n’，b，c；…）.矩阵可以为空，写为F^n_j（）,对应于节点在点上滚动。它始终具有dim_b=0，其权重是矩阵的权重加n个.默认情况下，此对象的属被视为克-1但可以通过插入来重置属=x；在矩阵的最前面。对于使用通用光纤进行计算时出现的节点滚动属x个,程序本身将把属设置为x个-1.

•节点段Γ^(米)F类^米,n个 _{j;n个',n个''...}[ω^b条L（左）^c（c）,...]表示为GF^n_j（n’，b，c；…）.它的重量又是矩阵的重量加上n个.

Γ的运算^(米)在这些类上由克.没有必要指定米因为它被确定为论点的分量。一种力量克，输入作为G^k（希腊），可适用于上述任何类别，导致这些类的线性组合。零维类的度可以通过以下公式获得ω²，δ等使用操作员使琐碎.

Chern数计算

这些计算发生在W公司^米(X（X）/B类).要计算c（c）_我(Λ_米(L（左）))^k个/米!,一个人进来抄送（c（m，i）^k）.当后者为零维时，其程度，即。

∫_{W公司^米(X（X）/B类)} c（c）_我(Λ_米(L（左）))^k个/米！=∫_{X（X）^[米]B类} c（c）_我(Λ_米(L（左）))^k个

由评估抄送（c（m，i）^k）.Thom-Porteous多项式Δ₁^（米）（c（m，•））由评估cc（增量^m_1）.

示例

（克+天）^10

淡化（G-L）^4M（1；1；1）

抄送（c（3,1）^4）

立方厘米（G_2^2G_3L_3）

立方厘米（c（3,1）^4-3c（3,1）^2c（3.2）+2c（3.1）c（3.3）+c（3_2）²)

cc（增量^4_1）

sum_（i=0）^1（T^我全球贸易基金^n个_（j+1）（dim_b=x；属=y²;1，i））