Hi, On Tue, 10 Aug 2010 13:52:09 -0700 (PDT), abak <anthony....@gmail.com> wrote: > How do I do sheaf cohomology calculations on a variety described as a > complete (or local complete) intersection in P^n. I can define the > variety by (for example): > > P5, x = ProjectiveSpace(5, QQ).objgens() > X = P5.subscheme([x[0]^2 + x[1]^2 + x[2]^2 + x[3]^2 + x[4]^2, 2*x[0]^2 > + x[1]^2 + 3*x[2]^2 + 4*x[3]^2 + 5*x[4]^2]) > > What comes next?
Unfortunately, Sage does not do sheaf cohomology yet. Macaulay2 should be able to do this; you can have a look at http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.3.1/share/doc/Macaulay2/Macaulay2Doc/html/_coherent_spsheaves.html and related pages, and if that does not help, ask on the Macaulay2 mailing list, see http://groups.google.com/group/macaulay2 Best, Alex -- Alex Ghitza -- http://aghitza.org/ Lecturer in Mathematics -- The University of Melbourne -- Australia -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
