Sympy矩阵秩计算异常：k=0时结果不符，是否为Bug？

• SymPy计算符号矩阵的秩时，返回的是一般情况下的秩——也就是参数取绝大多数合法值时矩阵的秩。对你的矩阵[[1, 0], [1, k]]来说，只要k≠0，行列式为k≠0，矩阵满秩（秩为2）；只有k=0这个特殊值会让秩降到1。
• 如果你需要覆盖参数特殊取值的情况，可以先计算行列式判断秩的变化：

  det_A = A.det()  # 结果为k
  

  由此可知：当k=0时矩阵秩为1，其他情况秩为2。
• 本质上，符号计算工具的rank()方法默认返回通解场景下的秩，不会自动枚举所有参数特殊取值的分支，这是这类工具的常规设计逻辑。

内容的提问来源于stack exchange，提问作者PaulS