sage - SAGE + right_kernel() + 基矩阵

Question

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

Answer 1

一般来说，基矩阵的形式不是[I|A]。

根据 sage文档，基础矩阵默认为梯形。

例如

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]