knownUnirationalComponentOfSpaceCurves(d,g)
* diameter = 1. All modules can be constructed
* diameter = 2. The modules can be constructed if the resolution of the generic module is minimal. This is for instance not the case for (d,g) being among (2,1), (1,2), (1,1) .
* diameter = 3. The construction is possible unless the expected Betti table of the Hartshorne-Rao module has shape
a b c_1 - -
- - c_2 - -
- - c_3 d e
with both 4b-10c_1 < a and 4d-10c_3 < e.
diameter {\ge} 4. he routine returns false, although we actually do know a couple of constructions which work in a few further cases.
The following example prints an overview table for the constructable cases:
|
The object knownUnirationalComponentOfSpaceCurves is a method function.