Top
Back: is_nested
Forward: NP_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.12 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'
Submitted to: Special Issue of Mathematics in Computer Science on Symbolic and Numeric Computation.

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'
Submitted to: ISSAC 2007.

Procedures:

D.4.12.1 NP_test  checks whether monomial ideal id is in Noether position
D.4.12.2 MNP_test  the same as above using modular methods
D.4.12.3 NP  Noether normalization of ideal id
D.4.12.4 MNP  Noether normalization of ideal id by modular methods
D.4.12.5 nsatiety  Satiety of ideal id
D.4.12.6 msatiety  Satiety of ideal id by modular methods
D.4.12.7 regCM  Castelnuovo-Mumford regularity of ideal id
D.4.12.8 mregCM  Castelnuovo-Mumford regularity of ideal id by modular methods


Top Back: is_nested Forward: NP_test FastBack: mregular_lib FastForward: normal_lib Up: Commutative algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-3, May 2007, generated by texi2html.