``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 *y*_{i}.

The variables can be anything except *t* and the ones of the pattern
*y*_{i} for all nonnegative *i*. The procedure selects the minimal
initial generator set for `J`.