`desing/findt`
Computation of the Gamma function defined
in section 5 page 165-166 in [EV00].
- Input:
- C the weight (or exponent) list of the
exceptional divisors in the examined WBO (the a member of
the WBO).
- Output:
- A list of indices to E (or equivalently to
a) that are chosen by the
Gamma function.
The E list of a chart is by no means a global list of
exceptional divisors. Although the chronological order is correct,
some exceptional divisors, which are outside the chart, do not appear.
Thus the indices, and consequently the locally computed stratifying
function value is not sufficient to detect patching of centers along
the chart covering. When this is needed in
`desing/dualgraph`, we reconstruct the
global indices for the exceptional divisors in all the charts and
replace the local ones with them.