Kernekoncepter
본 논문에서는 매개변수가 있는 영차원 이상의 이상적인 유리 단일 표현을 계산하기 위한 두 가지 알고리즘을 제시한다. 매개변수가 있는 경우 영차원 이상의 이상적인 영역의 영점 수가 다양한 특수화에 따라 다르기 때문에, 유리 단일 표현을 계산하는 데 핵심이 되는 분리 요소를 선택하고 확인하기가 어렵다. 매개변수 공간을 분할하여 각 분기에서 이상적인 영역의 영점 수가 동일하도록 하고, 확장된 부결과 정리를 활용하여 분리 요소를 선택하고 확인하는 두 가지 아이디어를 제시한다.
Resumé
본 논문은 매개변수가 있는 영차원 이상의 이상적인 유리 단일 표현을 계산하기 위한 두 가지 알고리즘을 제시한다.
- 매개변수 공간을 분할하여 각 분기에서 이상적인 영역의 영점 수가 동일하도록 한다.
- 확장된 부결과 정리와 매개변수 최대공약수 이론을 활용하여 분리 요소를 선택하고 확인한다.
- 첫 번째 알고리즘은 분리 요소 선택을 위해 확장된 부결과 정리를 직접 사용한다.
- 두 번째 알고리즘은 분리 요소 확인과 유리 단일 표현 계산을 위해 매개변수 최대공약수를 계산한다.
- 두 알고리즘 모두 Singular 컴퓨터 대수 시스템에 구현되었으며, 두 번째 알고리즘이 첫 번째 알고리즘보다 성능이 우수한 것으로 나타났다.
Statistik
매개변수가 있는 영차원 이상의 이상적인 영역의 영점 수는 매개변수 값에 따라 다르다.
매개변수 공간을 분할하여 각 분기에서 이상적인 영역의 영점 수가 동일하도록 한다.
Citater
"매개변수가 있는 경우 영차원 이상의 이상적인 영역의 영점 수가 다양한 특수화에 따라 다르기 때문에, 유리 단일 표현을 계산하는 데 핵심이 되는 분리 요소를 선택하고 확인하기가 어렵다."
"확장된 부결과 정리와 매개변수 최대공약수 이론을 활용하여 분리 요소를 선택하고 확인한다."