#9326: Add cohomology of toric varieties
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.5.2
Component: algebraic geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by vbraun):
1., 2. Done.
3. `Fan.Stanley_Reisner_ideal` and `Fan.linear_equivalence_ideal` now
require a ring. There is no special name for this ring in the literature
as far as I know.
4. Cohomology classes are now printed as `[1+z+z^2]` instead of `1+z+z^2`.
5. Done.
6. I've changed `CohomologyRing` to always take the variety to be over
complex numbers, and made that clear in the docstring. The
`ToricVariety_fan.cohomology_ring()` method checks that the field has
characteristic zero, which is then treated as complex numbers. Without
having any other cohomology rings in mind, I think this is ought to be
fine for now.
7., 8., 9. Done
10. Renamed to `volume_class()` now raises a `ValueError` if it does not
exist.
11. Done.
12., 13., 14. Done.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9326#comment:16>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
