Using Semicontinuity for Standard Bases Computations

• Published in: Mathematics in computer science 2022-12, Vol.16 (4), Article 21
• Main Authors: Greuel, Gert-Martin, Pfister, Gerhard, Schönemann, Hans
• Format: Article
• Language: English
• Subjects: Algorithms; Computation; Computer algebra; Computer Science; Domains; Mathematical analysis; Mathematics; Mathematics and Statistics; Modular design; Polynomials; Power series; Rings (mathematics)
• ISSN: 1661-8270; 1661-8289
• DOI: 10.1007/s11786-022-00539-2

We present new results on standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring over a computable field K . We prove the semicontinuity of the “highest corner” in a family of ideals, parametrized by the spectrum of a Noetherian domain A . This semicontinuity is used to design a new modular algorithm for computing a standard basis of I if K is the quotient field of A . It uses the computation over the residue field of a “good” prime ideal of A to truncate high order terms in the subsequent computation over K . We prove that almost all prime ideals are good, so a random choice is very likely to be good, and whether it is good is detected a posteriori by the algorithm. The algorithm yields a significant speed advantage over the non-modular version and works for arbitrary Noetherian domains. The most important special cases are perhaps A = Z and A = k [ t ] , k any field and t a set of parameters. Besides its generality, the method differs substantially from previously known modular algorithms for A = Z , since it does not manipulate the coefficients. It is also usually faster and can be combined with other modular methods for computations in local rings. The algorithm is implemented in the computer algebra system Singular and we present several examples illustrating its power.