#9296: Add lattice computations for convex polyhedral cones
---------------------------------------------------+------------------------
Reporter: vbraun | Owner: mhampton
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.5
Component: geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: switch to using sublattices (#9504) |
---------------------------------------------------+------------------------
Changes (by novoselt):
* status: needs_info => needs_work
* work_issues: => switch to using sublattices (#9504)
Old description:
> Various computations in toric geometry rely on the (saturated)
> N-sublattice generated by a cone and its complement and projections onto
> these. And, similarly, for the dual cones in the M-lattice. This patch
> adds what is necessary for Chow group and sheaf cohomology computations
> later on.
>
> Prerequisites:
>
> - #9062 - Add support for toric lattices
> - #8986 - Add support for convex rational polyhedral cones
> - #9188 - lattice_polytope.facet_normal bug with polytopes of less that
> full dimension
> - #8987 - Add support for rational polyhedral fans
New description:
Various computations in toric geometry rely on the (saturated)
N-sublattice generated by a cone and its complement and projections onto
these. And, similarly, for the dual cones in the M-lattice. This patch
adds what is necessary for Chow group and sheaf cohomology computations
later on.
Prerequisites:
- #9062 - Add support for toric lattices
- #8986 - Add support for convex rational polyhedral cones
- #9188 - lattice_polytope.facet_normal bug with polytopes of less that
full dimension
- #8987 - Add support for rational polyhedral fans
- #9504 - Add support for toric sublattices
--
Comment:
Opened #9504 with a partial patch (needs more documentation and quotients,
but submodules with specified bases should work). Couldn't finish it today
since #9502 unexpectedly appeared and took longer than expected. Volker,
thank you so much for insisting on printing "N" for toric lattice
elements, it is not the first time when this feature helped me to catch
bugs!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9296#comment:20>
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.
