计算仿射代数集的维数

Calculate dimension of an affine algebraic set

我正在尝试使用 sympy 计算仿射 space 中代数集的维数。我怀疑 sympy 是否具有查找定义为的维度的功能;

"the maximal length of all ascending chains of proper distinct non-empty sub varieties"

是否有内置的 sympy 函数来计算环的 krull 尺寸?

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

我在 SymPy 中发现的唯一接近于此的是 is_zero_dimensional, which checks if an Ideal generated by a Groebner is zero dimensional. It's possible that I missed something, though, particularly in the AGCA module