int_mat =
[1 2 3]
[4 5 6]
a_mat =
[1 0 1]
[0 1 0]
[0 1 1]
a_mat.T =
[1 0 0]
[0 1 1]
[1 0 1]
a_mat.I =
[1 1 1]
[0 1 0]
[0 1 1]
a_mat * a_mat.I
[0 1 0]
[0 0 0]
[0 0 0]
a_mat * a_mat.I
[1 0 0]
[0 1 0]
[0 0 1]
a_mat.determinant() = 1
zero_mat = zero_matrix(GF(2), 4,4)
[0 0 0 0]
[0 0 0 0]
[0 0 0 0]
[0 0 0 0]
idn_mat = identity_matrix(GF(2), 4)
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
rand_mat = random_matrix(GF(2), 3, 3)
[1 0 1]
[1 0 1]
[0 1 0]
a_mat =
[0 1 0 1]
[1 1 1 1]
[0 1 1 1]
b_mat =
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
c_mat =
[0 0]
[0 0]
[0 0]
Stack matrices with: a_mat.stack(b_mat)
[0 1 0 1]
[1 1 1 1]
[0 1 1 1]
[1 0 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
Augment matrices with: a_mat.augment(c_mat)
[0 1 0 1 0 0]
[1 1 1 1 0 0]
[0 1 1 1 0 0]
Reprint a_mat =
[0 1 0 1]
[1 1 1 1]
[0 1 1 1]
Get the first two columns of a_mat with: a_mat.matrix_from_columns(range(2))
[0 1]
[1 1]
[0 1]
Get the first two rows of a_mat with: a_mat.matrix_from_rows(range(2))
[0 1 0 1]
[1 1 1 1]
Remove the first row from a_mat with: a_mat.delete_rows([0])
[1 1 1 1]
[0 1 1 1]
swap the first two rows of a_mat with: a_mat.swap_rows(0, 1)
[1 1 1 1]
[0 1 0 1]
[0 1 1 1]