计算仿射代数集的维数

Question

我试图用sympy计算仿射空间中代数集的维数。我怀疑sympy具有找到定义为的维度的功能;

＆＃34;适当的不同非空子品种的所有上升链的最大长度＆＃34;

是否有内置的sympy功能来计算戒指的krull尺寸？

我找不到一个。如果有，我可以在给定代数集上的坐标环上使用它来获得维度。

Answer 1

我在SymPy中发现的唯一接近这一点的是is_zero_dimensional，它检查Groebner生成的理想是否为零维。但是，我可能错过了一些东西，特别是the AGCA module。