up previous next
LinKer    --    find the kernel of a matrix

LinKer(M: MAT): MAT

This function returns a matrix whose columns represent a basis for the kernel of M . Calling the function twice on the same input will not necessarily produce the same output, though in each case, a basis for the kernel is produced.

This function works only on matrices whose entries are in a field (from version CoCoA-5.0.3). The CoCoA-4 function returning a ZZ-basis for the kernel of M is not yet implemented.

The output as it was given by CoCoA-4 (the basis of the ker) is now given by LinKerBasis . See also HilbertBasisKer .

/**/   M := mat([[1,2,3,4],[5,6,7,8],[9,10,11,12]]);
/**/   LinKer(M);
 [[-1, -2],
  [2, 3],
  [-1, 0],
  [0, -1]])

/**/ M*It;
 [[0, 0],
  [0, 0],
  [0, 0]])

See Also