### D.15.7 graal_lib

Library:
  graal.lib
Purpose:
  localization at prime ideals and their associated graded rings
Author:
  Magdaleen Marais, magdaleen@aims.ac.za
  Yue Ren, ren@mathematik.uni-kl.de

Overview:
  This library is on a computational treatment of localizations at prime ideals and their associated graded rings based on a work of Mora. Not only does it construct a ring isomorphic to the localization of an affine coordinate ring at a prime ideal,
  the algorithms in this library aim to exploit the topology in the localization by computing first and foremost in the associated graded ring and lifting the result to the localization afterwards.
  Features include a check for regularity and the resolution of ideals.

References:
  Mora, Teo: La queste del Saint Gr_a(A_L): A computational approach to local algebra Marais, Magdaleen and Ren, Yue: Mora's holy graal: Algorithms for computing in localizations at prime ideals

Procedures:

> D.15.7.1 graalMixed |  | contruct graalBearer
> D.15.7.2 dimensionOfLocalization |  | dimension of the localization A_L of A at L
> D.15.7.3 systemOfParametersOfLocalization |  | system of parameter of the localization A_L of A at L
> D.15.7.4 isLocalizationRegular |  | test if localization A_L of A at L is regular
> D.15.7.5 warkedPreimageStd |  | std for warkedModule
> D.15.7.6 resolutionInLocalization |  | the resolution of I*A_L

User manual for Singular version 4-0-3, 2016, generated by texi2html.