Go backward to `desing/resolves2` Go up to Procedures Go forward to `desing/resolvesc2`

`desing/resolvesc`

Continuing the resolution of an SBO after the test of `desing/clean` is performed. It might well be that cover operation was necessary and it produced several new chart-records with the same SBOs in them.

Input:

 

OL

a list of chart-records,

z

a list of pairwise different indices to the IND member of the chart, being disjoint to the N member of the SBO,

DCOEFF

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

Output:

-