Algorithms in local algebra.

Gräbe, Hans-Gert
Let k be a field, S = k[xv : v 2 V ] be the polynomial ring over the finite set of variables (xv : v 2 V ), and m = (xv : v 2 V ) the ideal defining the origin of Spec S. It is theoretically known (see e.g. Alonso et al. 1991) that the algorithmic ideas for the computation of ideal (and module) intersections, quotients, deciding radical membership etc. in S may be adopted not only for computations in the local ring Sm but also for term orders of mixed type with standard bases replacing Gröbner bases. Using the generalization of Mora's tangent cone algorithm to arbitrary term orders we give a detailed description of the necessary modifications and restrictions. In a second part we discuss a generalization of the deformation argument for standard bases and independent sets to term orders of mixed type. For local term orders they were investigated in (Gräbe 1991). The main algorithmic ideas described below are implemented in the author's RE- DUCE package CALI (Gräbe 1993a).
Appeared / Erschienen in: 
Journal of Symbolic Computation 19 (1995), S.545-557
Pubdate / Erscheinungsdatum: 
Pages / Seitenanzahl: 
1995-11.pdf240.39 KB