NoetherNormalization -- routines related to Noether normalization

Description

NoetherNormalization is a package for computing ring homomorphisms which will place ideals in Noether normal position. The algorithms used are based on algorithms found in A. Logar's paper: A Computational Proof of the Noether Normalization Lemma. In: Proceedings 6th AAEEC, Lecture Notes in Computer Science 357, Springer, 1989, 259-273.

Authors

Bart Snapp <[email protected]>
Nathaniel Stapleton <[email protected]>

Version

This documentation describes version 0.9.3 of NoetherNormalization.

Citation

If you have used this package in your research, please cite it as follows:

@misc{NoetherNormalizationSource,
  title = {{NoetherNormalization: place an ideal in Noether normal position. Version~0.9.3}},
  author = {Bart Snapp and Nathaniel Stapleton},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

Exports

Functions and commands
- noetherNormalization -- data for Noether normalization
Methods
- noetherNormalization(Ideal) -- see noetherNormalization -- data for Noether normalization
- noetherNormalization(PolynomialRing) -- see noetherNormalization -- data for Noether normalization
- noetherNormalization(QuotientRing) -- see noetherNormalization -- data for Noether normalization
Symbols
- LimitList -- see noetherNormalization -- data for Noether normalization
- RandomRange -- see noetherNormalization -- data for Noether normalization

For the programmer

The object NoetherNormalization is a package, defined in NoetherNormalization.m2.

The source of this document is in NoetherNormalization.m2:235:0.