|
D.5.5.2 blowUp2
Procedure from library resolve.lib (see resolve_lib).
- Usage:
- blowUp2(J,C);
J,C = ideals,
- Assume:
- C = ideal containing J
- Note:
- C the ideal of the center of the blowup and J the ideal
of the variety
Important differences to blowUp:
- V(J) itself is blown up, not the ambient space
- C is not assumed to be non-singular
- Compute:
- the blowing up of J in C, the exceptional locus and the blow-up
map
- Return:
- list, say l, of size at most size(C),
l[i] is the affine ring corresponding to the i-th chart
each l[i] contains the ideals
- Jnew, ideal of the blownup J
- eD, ideal of the new exceptional divisor
- bM, ideal corresponding to the blowup map
Example:
|