In this paper, we present a generic parametrization of generically zero-dimensional parametric polynomial systems. More specifically, we study the specialization properties of the Rational Univariate Representation and derive bounds on the degrees and heights of its elements. In addition to that, we propose two algorithms to effectively compute this parametrization.
翻译:本文提出了一种针对一般零维参数多项式系统的通用参数化方法。具体而言,我们研究了有理单变量表示的特殊化性质,并推导了其各元素次数与高度的界。此外,我们提出了两种有效计算该参数化表示的具体算法。