`desing/completecover`
This procedure tests whether the blowing up variety is completely
covered by the charts generated in
`desing/blowup2`, or further charts are
necessary.
- Input:
-
- F
- the unrotated equations of the images of the exceptional
divisors for the charts computed so far,
- FC
- the unrotated equations of the inverted functions for each
blowing ups made so far,
- CN
- the equations of the blowing up center,
- DEP2
- the DEP2 entry of the original chart (whose blowing up
is being computed),
- S
- the variables of the original chart, without
DEP2V,
- m
- the codimension of the center in the original chart.
- Output:
- boolean: true if the blowing up variety is completely
covered by the charts generated so far, false otherwise.