L=randomLineBundle(f)
Ld=randomLineBundle(d,f)
Chooses a random line bundle on the hyperelliptic curve E of genus g given by the equation y^2-(-1)^{g}*f, where f is the branch equation of degree (2g+2). Input with an integer d gives a random line bundle of degree d on E.
Note that the method preRandomLineBundle mostly constructs an unbalanced line bundle, that is, the degrees of a and c for the determinantal representation of (-1)^{g}*f have a big gap. Such a line bundle will be contained in the theta divisor (after a certain twist), so we make it into a balanced line bundle by tensoring degree 0 line bundles.
|
|
|
|
|
|
|
The ground field kk has to be finite.
The object randomLineBundle is a method function.
The source of this document is in PencilsOfQuadrics.m2:3148:0.