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.

Source code

The source code from which this documentation is derived is in the file NoetherNormalization.m2.

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.