매개변수가 있는 영차원 이상의 이상적인 유리 단일 표현을 계산하기 위한 두 가지 알고리즘

본 논문에서는 매개변수가 있는 영차원 이상의 이상적인 유리 단일 표현을 계산하기 위한 두 가지 알고리즘을 제시한다. 매개변수가 있는 경우 영차원 이상의 이상적인 영역의 영점 수가 다양한 특수화에 따라 다르기 때문에, 유리 단일 표현을 계산하는 데 핵심이 되는 분리 요소를 선택하고 확인하기가 어렵다. 매개변수 공간을 분할하여 각 분기에서 이상적인 영역의 영점 수가 동일하도록 하고, 확장된 부결과 정리를 활용하여 분리 요소를 선택하고 확인하는 두 가지 아이디어를 제시한다.