> | ### 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

User manual for Singular version 4-0-2, 2015, generated by texi2html.