计算仿射代数集的维数
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。