Home Online Manual
Top
Back: is_nested
Forward: NPos_test
FastBack: mregular_lib
FastForward: normal_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.16 noether_lib

Library:
noether.lib
Purpose:
Noether normalization of an ideal (not nessecary homogeneous)
Authors:
A. Hashemi, Amir.Hashemi@lip6.fr

Overview:
A library for computing the Noether normalization of an ideal that DOES NOT require the computation of the dimension of the ideal. It checks whether an ideal is in Noether position. A modular version of these algorithms is also provided.
The procedures are based on a paper of Amir Hashemi 'Efficient Algorithms for Computing Noether Normalization' (presented in ASCM 2007)

This library computes also Castelnuovo-Mumford regularity and satiety of an ideal. A modular version of these algorithms is also provided. The procedures are based on a paper of Amir Hashemi 'Computation of Castelnuovo-Mumford regularity and satiety' (preprint 2008)

Procedures:

D.4.16.1 NPos_test  checks whether monomial ideal id is in Noether position
D.4.16.2 modNpos_test  the same as above using modular methods
D.4.16.3 NPos  Noether normalization of ideal id
D.4.16.4 modNPos  Noether normalization of ideal id by modular methods
D.4.16.5 nsatiety  Satiety of ideal id
D.4.16.6 modsatiety  Satiety of ideal id by modular methods
D.4.16.7 regCM  Castelnuovo-Mumford regularity of ideal id
D.4.16.8 modregCM  Castelnuovo-Mumford regularity of ideal id by modular methods