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.