`desing/blowupJ`
An additional blowing up procedure that is not used in the algorithm
but might be useful for the user to compute blowing ups of ideals.
- Input:
-
- W
- a list of polynomials from k[S],
- J
- a list of representatives of elements from
k[S]/<W>,
- S
- a list of variables.
- Output:
- a list of three sublists:
- a list of polynomials from k[S][Y], generators for the blown
up ideal (it is homogeneous in the y's),
- the list S,
- the list of new variables Y, of the pattern yi.
The variables can be anything except t and the ones of the pattern
yi for all nonnegative i. The procedure selects the minimal
initial generator set for J.