previous up next
Go backward to Charts
Go up to Data structures
Go forward to Chart-records and global variables

Basic objects

The basic objects are of three types: weighted (WBO), tagged (TBO) and simple (SBO). Any basic object is associated to a chart U.

A weighted basic object is described by the following data:

N
a list of indices to IND that define the ambient algebraic set W of the basic object (in U),
J
a list of pairs [poly, exp], which are the generators for the generalized ideal of the basic object (poly is a representative of a k[U] element, exp is a nonnegative rational number),
E
the list of exceptional divisors, given as:
C
a list of lists of the same length as IND of the chart U of nonnegative rational numbers (the positive members indicate the history of J modificators).
c
a rational number (the quotient of the order of the proper transform within the singular locus of the WBO and b, the required order),
a
a list of nonnegative rational numbers with the same length as E (the weights of the exceptional divisors),
type
a integer value, which is 0 in case of a WBO, 1 in case of a TBO, and 2 for an SBO.

A TBO has the same entries as a WBO except the entries: a, c; plus the entry:

EM
the list of exceptional divisors of E-, given as a sublist of E.

An SBO is described as a WBO except the entries: a, c; plus the entry:

H
the exceptional divisors of the TBO of the same dimension, whose intersection restricts the blowing up center, given in the same way as E.

Additional data is stored in each basic object to avoid the computation of the singular locus whenever possible:

SET
a list of polynomials from k[U], the generators of the ideal of the singular locus of the basic object within W,
SL
a list of polynomials from k[S], the Gröbner basis of SET+H+N+DEP.
These data are used to hold the singular locus of the basic object with the corresponding Gröbner basis until we need to recompute them. It helps in situations like testing the emptiness of the singular locus, what we have to do several times in the algorithm. Whenever an operation induces a geometric change in the basic object or in the chart, we need to invalidate the stored data asking for recomputation at the point where we need them.
previous up next