#12361: Fix normalization in cohomology ring of orbifold toric varieties
--------------------------------------+-------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: defect | Status: positive_review
Priority: major | Milestone: sage-5.1
Component: algebraic geometry | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: David Eklund, Andrey
Novoseltsev
Authors: Volker Braun | Merged in:
Dependencies: | Stopgaps:
--------------------------------------+-------------------------------------
Changes (by jdemeyer):
* milestone: sage-5.0 => sage-5.1
Old description:
> For simplicial toric varieties, the rational cohomology ring and the
> ratironal Chow group are isomorphic. So if all normalizations are
> correct, then one should be able to do intersection computations in the
> cohomology ring. This patch fixes the `volume_class()` and the
> constructor of cohomology cycles from cones to make everything work.
>
> It turns out that index_in_saturation does not work for trivial zero-size
> matrices, this is also fixed.
>
> Apply trac_12361_fix_toric_cohomology_ring.patch,
> trac_12361_index_in_saturation_fix.patch
New description:
For simplicial toric varieties, the rational cohomology ring and the
ratironal Chow group are isomorphic. So if all normalizations are correct,
then one should be able to do intersection computations in the cohomology
ring. This patch fixes the `volume_class()` and the constructor of
cohomology cycles from cones to make everything work.
It turns out that index_in_saturation does not work for trivial zero-size
matrices, this is also fixed.
Apply [attachment:trac_12361_fix_toric_cohomology_ring.patch],
[attachment:trac_12361_index_in_saturation_fix.patch]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12361#comment:14>
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.
