### D.4.17 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.17.1 NPos_test |  | checks whether monomial ideal id is in Noether position
> D.4.17.2 modNpos_test |  | the same as above using modular methods
> D.4.17.3 NPos |  | Noether normalization of ideal id
> D.4.17.4 modNPos |  | Noether normalization of ideal id by modular methods
> D.4.17.5 nsatiety |  | Satiety of ideal id
> D.4.17.6 modsatiety |  | Satiety of ideal id by modular methods
> D.4.17.7 regCM |  | Castelnuovo-Mumford regularity of ideal id
> D.4.17.8 modregCM |  | Castelnuovo-Mumford regularity of ideal id by modular methods

User manual for Singular version 4-0-3, 2016, generated by texi2html.