Home Online Manual
Top
Back: qepcadsystem
Forward: graalMixed
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.11 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.11.1 graalMixed  contruct graalBearer
D.15.11.2 dimensionOfLocalization  dimension of the localization A_L of A at L
D.15.11.3 systemOfParametersOfLocalization  system of parameter of the localization A_L of A at L
D.15.11.4 isLocalizationRegular  test if localization A_L of A at L is regular
D.15.11.5 warkedPreimageStd  std for warkedModule
D.15.11.6 resolutionInLocalization  the resolution of I*A_L