计算仿射代数集的维数
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。
我正在尝试使用 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。