Ask Your Question

Revision history [back]

The solve_right method only gives you one solution. The set of solutions is the (right) kernel of your matrix:

sage: A.right_kernel()
Vector space of degree 2 and dimension 1 over Finite Field in a of size 2^4
Basis matrix:
[                1 a^3 + a^2 + a + 1]
sage: A.right_kernel().basis()[0]
(1, a^3 + a^2 + a + 1)

The solve_right method only gives you one solution. The set of solutions is the (right) kernel of your matrix:

sage: A.right_kernel()
Vector space of degree 2 and dimension 1 over Finite Field in a of size 2^4
Basis matrix:
[                1 a^3 + a^2 + a + 1]
sage: A.right_kernel().basis()[0]
(1, a^3 + a^2 + a + 1)
sage: A*A.right_kernel().basis()[0]
(0, 0)

The solve_right method only gives you one solution. solution (and is mainly used for affine equations, where b is nonzero). The set of solutions is the (right) kernel of your matrix:

sage: A.right_kernel()
Vector space of degree 2 and dimension 1 over Finite Field in a of size 2^4
Basis matrix:
[                1 a^3 + a^2 + a + 1]
sage: A.right_kernel().basis()[0]
(1, a^3 + a^2 + a + 1)
sage: A*A.right_kernel().basis()[0]
(0, 0)