Go backward to `desing/blowupJ` Go up to Procedures Go forward to `desing/branchSize`

`desing/blunify`

This is also an interface procedure under the short name blunify. It computes a finite set of generators for an ideal whose blowing up is isomorphic to the sequence of blowing ups computed by the algorithm in the resolution tree (stored in chartHistory).

Input:

-

Output:

A list of elements from the coordinate ring of the input chart of the resolution stored in chartHistory.

To unify the sequence of blowing ups of a resolution made by a `desing/dlocpdh` or `desing/pdlocpdh` call over the ith principal open subset of P³ (i=1,2,3,4), set

  chartHistory := eval(chartHistorypdh[i][1]):
  globalChartCounter := chartHistorypdh[i][2]: