computes the first order embedded deformation of a canonical curve induced by automorphisms of the projective ambient space. In fact, this function computes the image of the cohomology group H0(C,TPn|C) in H0(C,NC/Pn). The cokernel of this map gives H1(C,TC).
i1 : loadPackage("RandomCanonicalCurves",Reload=>true) o1 = RandomCanonicalCurves o1 : Package |
i2 : kk=ZZ/101 o2 = kk o2 : QuotientRing |
i3 : g=7 o3 = 7 |
i4 : S=kk[x_0..x_(g-1)] o4 = S o4 : PolynomialRing |
i5 : Ican=(random canonicalCurve)(g,S); o5 : Ideal of S |
i6 : time A=deformationByAutomorphisms(Ican); -- used 0.00830747 seconds 10 48 o6 : Matrix S <--- S |