>>207
グレブナー基底ってどういう応用が出来るの?