动机上同调

动机上同调计算工具是一款面向代数几何与数论的数学计算应用：动机范畴构造计算用于分析代数簇的动机对象与运算；贝林森猜想数值验证采用分步流程，验证 L 函数与代数数域关系；代数 K 理论联系计算以表格展示 K 群与上同调对应关系；混合动机计算支持分栏参数设置，处理混合动机分解；特殊值猜想支持批量计算，适用于大规模数值验证；上同调理论比较与验证可并排对比 de Rham、ℓ-adic、晶状上同调等理论的等价性.