(random hartshorneRaoModule)(e,HRao,R)
Returns the Hartshorne-Rao Module over R with Hilbert function HRao and expected betti table. The constructions works only for many modules with diameter {\le} 3.
|
|
|
|
|
|
There are the following options:
* Attempts => ... a nonnegative integer or infinity (default) that limits the maximal number of attempts for the construction of the module
* Certify => ... true or false (default) checks whether the constructed module has the expected betti Table
|
|
|
|
|
if Certify => true and Attempts=>infinity (the default!) are given in this example, the construction never stops.
The list HRao needs only to contain the non-zero values of the Hilbert function.
The object hartshorneRaoModule is an instance of the type RandomObject.