Hi,
On Tue, 10 Aug 2010 13:52:09 -0700 (PDT), abak 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
