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
