0

任意のバイナリ行列 H に対して right_kernel() 命令を実行しました。なぜ常に [I|A] (I:恒等行列) の形式で基底行列を取得するのですか?

4

1 に答える 1

1

一般に、基底行列が の形式を持つことはありません[I|A]

セージのドキュメントによると、基底行列はデフォルトで階層形式になっています。

例えば

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]
于 2013-04-18T23:49:58.317 に答える