M = V.yAction
A matrix representing the action of y for the hyperelliptic curve E with equation y^2 - (-1)^g * f.
i1 : setRandomSeed 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
The object yAction is a symbol.