A Modular Method to Compute the Rational Univariate Representation of Zero-dimensional Ideals

DOI Web Site Web Site 被引用文献7件 オープンアクセス

書誌事項

公開日
1999-07
権利情報
  • https://www.elsevier.com/tdm/userlicense/1.0/
  • https://www.elsevier.com/open-access/userlicense/1.0/
DOI
  • 10.1006/jsco.1999.0275
公開者
Elsevier BV

この論文をさがす

説明

Given an ideal \(I \subseteq K[x _1,\ldots,x _n]\), it is a difficult task to determine the set of zeros of \(I\), even if \(I\) is known to be zero-dimensional. An important tool for this is the use of Gröbner bases, which by the so-called shape lemma often have a form suitable for finding zeros. The authors propose a new method to find a rational univariate representation (RUR) for \(I\), as defined by \textit{F. Rouillier} [Appl. Algebra Eng. Commun. Comput. 9, No.~5, 433-461 (1999; Zbl 0932.12008)]. This is another ideal basis which has the form \[ \{f(u),g _1(u) x _1 - h _1(u),\ldots,g _n(u) x _n - h _n(u)\} \] with \(u \in K[x _1,\ldots,x _n]\) a ``separating element'' and \(f,g _i,h _i\) univariate polynomials. The advantage over a Gröbner basis is that an RUR often has smaller coefficients. The new method applies to the case where the ground field \(K\) is \(\mathbb Q\) and uses reduction modulo a prime and Hensel lifting.

収録刊行物

被引用文献 (7)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ