| L[1]: ideal obtained from i by substituting from the first n variables those
which appear in a linear part of i, by putting this part into triangular
form
L[2]: ideal of variables which have been substituted
L[3]: ideal, j-th element defines substitution of j-th var in [2]
L[4]: ideal of variables of basering, eliminated ones are set to 0
L[5]: ideal, describing the map from the basering to itself such that
L[1] is the image of i
|