ガウスの消去法
A basis of the kernel of a matrix may be computed by Gaussian elimination.