이 논문에서는 유한 생성 준군 또는 단군의 좌, 우, 또는 양측 합동식을 계산하는 두 가지 알고리즘을 제시한다. 첫 번째 알고리즘은 Sims의 낮은 지수 부군 알고리즘의 일반화이고, 두 번째 알고리즘은 주요 합동식을 결정한 다음 모든 가능한 결합을 찾는 것이다.
