SAGE + right_kernel（）+基础矩阵

Question

我为任何二进制矩阵H执行了right_kernel（）指令。为什么我总是得到这种形式的基矩阵[I | A]（其中I：单位矩阵）？

Answer 1

一般情况下，基础矩阵的形式不是[I|A]。

根据圣人documentation，基本矩阵默认为梯队形式。

例如

sage: H
[1 0 0 1 1]
[1 0 1 0 1]
[1 0 0 0 0]
sage: H.right_kernel()
Vector space of degree 5 and dimension 2 over Finite Field of size 2
Basis matrix:
[0 1 0 0 0]
[0 0 1 1 1]