#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 novoselt):
`def lattice_polytope(envelope=False)` will make me most happy, but
`enveloping_lattice_polytope` is a compromise ;-)
It is almost always possible to rewrite code that uses exception into code
that uses conditional statements, I think it has more to do with the
developer's taste. So I don't think that it is necessarily bad when there
are several options to get the same result (that may actually help in
checking results). Note also this behaviour:
{{{
sage: a = 1/2
sage: a.is_integral()
False
sage: Integer(a)
TypeError: no conversion of this rational to integer
}}}
and the last line was actually `a._integer_()`, as I understand it. So if
the check for integrality returns False, the conversion fails as well,
even though it is possible to agree on some kind of rounding and argue
that when someone writes `Integer(a)`, then (s)he wants to get back some
integer related to `a`, even if it is not quite `a`.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9337#comment:47>
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.
