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


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).

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 P3 (i=1,2,3,4), set

  chartHistory := eval(chartHistorypdh[i][1]):
  globalChartCounter := chartHistorypdh[i][2]:
before calling `desing/blunify`().
previous up next