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