Groebner基算法的教育版本:三角分解