SAGE + right_kernel() + базовая матрица

Я выполнил инструкцию right_kernel() для любой бинарной матрицы H. Почему я всегда получаю базовую матрицу в такой форме [I|A] (где I: единичная матрица)?


sage
person Juan    schedule 18.04.2013    source источник

Ответы (1)


arrow_upward
1
arrow_downward

В общем случае базисная матрица не имеет формы [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]
person fidbc    schedule 18.04.2013