N = invNoetherNormalization I
invNoetherNormalization constructs an automorphism of the polynomial ring in which I defines an ideal, such that the image of I under this automorphism is in Noether normal position.
The automorphism is defined by the first list returned: the ith variable of the polynomial ring is mapped to the ith entry of that list.
In the new coordinates, the residue class ring is an integral ring extension of the polynomial ring in the variables given in the second list returned.
If the option PermuteVariables is set to true, the second list consists of the last d variables, where d is the Krull dimension of the residue class ring.
Reference: D. Robertz, Noether normalization guided by monomial cone decompositions, Journal of Symbolic Computation 44, 2009, pp. 13591373.








The object invNoetherNormalization is a method function with options.