그뢰브너 기저 나왔다더라

물론 그거 쓰는게 의도는 아니고 3변수 다항식 3개 제시해주고 걔네들의 선형결합으로 만들 수 있는 4차 단항식의 개수 구하는게 원문