previous up next
Go backward to `desing/blowup2`
Go up to Procedures
Go forward to `desing/blunify`

`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:
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.
previous up next