#9337: Add toric divisors
--------------------------------------------+-------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.6
Component: algebraic geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: non-reduced divisor handling |
--------------------------------------------+-------------------------------
Comment(by vbraun):
1. I had thought about this and the canonical thing to do is to enlarge
the polytope to a lattice polytope (try to e.g. shrink it to the contained
lattice polytope without dualizing twice in the process). So the current
behaviour is fine. I definitely don't want multiple
`something_lattice_polytope()` methods. We could add an optional parameter
`def lattice_polytope(envelope=True):` (note: default should be the most
useful option), but then you could always add that later on without
breaking the current API.
2. 3. Divisors constructed manually shall always be reduced. The short-
circuit is only for internal use in case you know already that the input
is reduced. I'll fix the bug in `ToricVariety.divisor()` and
`ToricDivisor_generic` that sets `reduce=False` erroneously.
4. Done
5. I'll add a `cohomology_support()` method that computes the actual
support and not just a sufficiently large region.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9337#comment:44>
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.
