This chapter describes local polynomial rings. Let R be the multivariate polynomial ring K[x1, ..., xn], where K is a field. We denote by K[x1, ..., xn]< x1, ..., xn > the collection of all rational functions f/g of x1, ..., xn with g(p) not= 0, where p=(0, ..., 0). Such a ring is local (has a unique maximal ideal) and we will call it a local polynomial ring in Magma. Such a ring is always multivariate and is related to the corresponding multivariate polynomial ring K[x1, ..., xn] which will we will call global (when distinguishing it from the local case). We will also call K[x1, ..., xn]< x1, ..., xn > the localization of K[x1, ..., xn] (this is always understood to be at the prime ideal generated by x1, ..., xn, corresponding to the origin).
Much of the theory for multivariate polynomial rings and their ideals carry over to local polynomial rings, so the reader should first be familiar with multivariate polynomial rings and their ideals (see Chapters MULTIVARIATE POLYNOMIAL RINGS and GRÖBNER BASES).
Corresponding to a Gröbner basis of an ideal of a global multivariate ring is a standard basis of an ideal of a local polynomial ring. See [CLO98, Chapter 4] or [GP02, Chapter 1] for the basics of the theory and algorithms.
The other facilities are currently basic but will be expanded in coming versions. But note that computations with R -modules, where R is a local polynomial ring, are fully supported: see Chapter MODULES OVER MULTIVARIATE RINGS.