Go backward to `desing/completecover`
Go up to Procedures
Go forward to `desing/coverx`
Performing cover operation on a chart-record.
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.