Go backward to `desing/completecover` Go up to Procedures Go forward to `desing/coverx`

`desing/cover`

Performing cover operation on a chart-record.

Input:

 

O

a chart-record,

CP

a list of polynomials from k[S], representatives for elements from k[U], where S comes from the chart, and k[U] is the coordinate ring of the chart.

Output:

A list of chart-records.

The procedure selects the minimal initial generator set for the ideal of the smallest possible degrees. Then creates a new chart for each remaining generator, in which the zero set of the generator is not part of the chart.

The procedure adopts to the chosen representation of invertible functions (determined by useDEP2).

The input chart is moved to chartHistory and the operation is registered in chartTree. The value of globalChartCounter is increased as needed.