행렬 가중 이형 시스템에 대한 그뢰브너 기저의 계산 | Synapse