Go backward to `desing/chtohtml` Go up to Procedures Go forward to `desing/coeff`

`desing/clean`

Separating singular loci of different dimension of an SBO. The procedure checks whether the singular locus of the SBO on the top of the stack of a chart-record, w.r.t. a list hypersurfaces defined by elements from the IND member of the chart has components of different dimension. If so, it covers the chart by new charts in which these components are separated.

Input:

 

Chart

the chart-record to be checked,

z

a list of pairwise different indices to the IND member of the chart,

DC

the coefficient ideal of J of the top SBO w.r.t. z.

Output:

A list of "clean" charts, with no singular locus components of different dimension w.r.t. z.