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


Syntax 
LinKerZZ(M: MAT): MAT

Description
This function expects a matrix M with integer or rational entries, and returns a matrix of integers whose columns represent a ZZ-module basis for the integer vectors in 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.

Example 
/**/ LinKerZZ(RowMat([1,1/2,1/3]));
matrix(ZZ,
 [[1, 0],
  [0, 2],
  [-3, -3]])

See Also