#9337: Add toric divisors
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: new
Priority: major | Milestone:
Component: algebraic geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by novoselt):
Divisor-related files in schemes/generic were the ones that I didn't look
at before, but they turn out to be quite short and simple, especially in
the relevant "truly generic" part. I think we should try to use them
(preferably without putting toric code into those files, I found it rather
inconvenient how service-classes of different schemes and spaces are mixed
in old files).
The general framework uses formal sums for the divisor group. Your patch
is likely to be more efficient, since it works with a finite rank subgroup
of the divisor group, but it does not support divisors on toric varieties
that are not toric. Would it be possible to implement instead primitive
toric divisors (i.e. those given by "z_i=0") and work with their formal
sums as elements of the total divisor group?
If that would be too inconvenient, it would be nice at least to have some
class representing the group of torus-invariant divisors with the coercion
into the general divisor group.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9337#comment:4>
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.
