genericProjection(n, I)
genericProjection(n, R)
genericProjection(I)
genericProjection(R)
This gives the projection map from $\mathbb{A}^N \mapsto\mathbb{A}^{N-n}$ and the defining ideal of the projection of $V(I)$
|
|
|
If no integer $n$ is provided, then drops one dimension, in other words it treats $n = 1$.
|
|
|
Alternately, instead of I, you may pass it a quotient ring. It will then return the inclusion of the generic projection ring into the given ring, followed by the source of that inclusion. It is essentially the same functionality as calling genericProjection(n, ideal R) although the format of the output is slightly different.
|
|
|
This method works by calling randomCoordinateChange before dropping some variables. It passes the options Replacement, MaxCoordinatesToReplace, Homogeneous to that function.
This function makes no attempt to verify that the projection is actually generic with respect to the ideal.
The object genericProjection is a method function with options.