Using Semicontinuity for Standard Bases Computations
From MaRDI portal
Publication:6375772
DOI10.1007/S11786-022-00539-2arXiv2108.09735MaRDI QIDQ6375772FDOQ6375772
Authors: Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann 
Publication date: 22 August 2021
Abstract: We present new results and an algorithm for standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring in finitely many variables over a field K. The algorithm provides a significant speed up if K is the quotient field of a Noetherian integral domain A, when coefficient swell occurs. The most important special cases are perhaps when A is the ring of integers resp. when A is a polynomial ring over some field in finitely many parameters. Given I as an ideal in the polynomial ring over A, we compute first a standard basis modulo a prime number p, resp. by specializing the parameter to a constant. We then use the "highest corner" of the specialized ideal to cut off high order terms from the polynomials during the standard basis computation over K to get the speed up. An important fact is that we can choose p as an arbitrary prime resp. as an arbitrary constant, not just a "lucky" resp. "random" one. Correctness of the algorithm will be deduced from a general semicontinuity theorem due to the first two authors. The computer algebra system Singular provides already the functionality to realize the algorithm and we present several examples illustrating its power.
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Singularities in algebraic geometry (14B05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
This page was built for publication: Using Semicontinuity for Standard Bases Computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6375772)
