ガウスの消去法
The Grobner basis computation can be considered equivalently as Gaussian elimination for solving the polynomial matrix equation formula_40.