`desing/expseqggs`
Checks if an ideal supported on the exceptional locus of the sequence
of blowing ups stored in chartHistory with a given exponent
sequence for the components identified by Villamayor function values
is generated by global sections.
- Input:
-
- LSC
- a list of pairs (V,n), where V is a string which
identifies the blowing up center that gave rise to the exceptional
component in question using the Villamayor function value that
characterizes the center in the resolution process. The natural
number n gives the exponent of the factor of the sheaf supported
on the selected exceptional divisor. By default the exponent is 0.
- Output:
- True if the global sections generate the ideal sheaf,
false otherwise.
The procedure assumes that chartHistory contains the chart
tree of a computed seqence of blowing ups.