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)