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

yAction -- defines a vector bundle on E

Description

A matrix representing the action of y for the hyperelliptic curve E with equation y^2 - (-1)^g * f.

i1 : setRandomSeed 0
 -- setting random seed to 0

o1 = 0
i2 : kk = ZZ/101;
i3 : R = kk[s,t];
i4 : f = (s+2*t)*(s+t)*(s-t)*(s-2*t);
i5 : L0 = randomLineBundle(0,f)

o5 = VectorBundleOnE{...1...}

o5 : VectorBundleOnE
i6 : M = L0.yAction

o6 = {-1} | -29s2+19st+19t2 38s2+9st+47t2  |
     {-1} | 47s2-22st+t2    29s2-19st-19t2 |

             2      2
o6 : Matrix R  <-- R
i7 : M^2 - f*id_(source M)

o7 = 0

             2      2
o7 : Matrix R  <-- R

See also

For the programmer

The object yAction is a symbol.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PencilsOfQuadrics.m2:2889:0.