Macaulay2 » Documentation
Packages » PencilsOfQuadrics :: orderInPic
next | previous | forward | backward | up | index | toc

orderInPic -- order of a line bundle of degree 0 in Pic(E)

Description

Computes the order of a degree 0 line bundle L on the hyperelliptic curve E by the most naive method.

i1 : setRandomSeed 0
 -- setting random seed to 0

o1 = 0
i2 : kk=ZZ/101;
i3 : g=1;
i4 : rNP=randNicePencil(kk,g);
i5 : f=(cliffordModule(rNP.matFact1,rNP.matFact2,rNP.baseRing)).hyperellipticBranchEquation

          3       2 2        3      4
o5 = - 12s t - 50s t  - 16s*t  + 47t

o5 : kk[s, t]
i6 : L=randomLineBundle(0,f);
i7 : orderInPic L

o7 = 37

Caveat

The ground field kk has to be finite. It computes the order by checking inductively whether L^k is trivial, so it may fail when kk is not finite, or has too many elements. orderInPic(phi) may not terminate if it is not the yAction of a line bundle of degree 0 on E.

See also

Ways to use orderInPic:

  • orderInPic(Matrix)
  • orderInPic(VectorBundleOnE)

For the programmer

The object orderInPic is a method function.


The source of this document is in PencilsOfQuadrics.m2:3032:0.