|
D.5.6 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:
|