previous up next
Go backward to `desing/exdshrc`
Go up to Procedures
Go forward to `desing/findt`

`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.
previous up next