#9972: Add fan morphisms
------------------------------------------------+---------------------------
Reporter: novoselt | Owner: mhampton
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.6.1
Component: geometry | Keywords:
Author: Andrey Novoseltsev, Volker Braun | Upstream: N/A
Reviewer: Volker Braun, Andrey Novoseltsev | Merged:
Work_issues: |
------------------------------------------------+---------------------------
Changes (by vbraun):
* status: needs_review => needs_work
Comment:
Looks good overall, but I think there is a bug in `image_cone()`:
{{{
sage: N1 = ToricLattice(1)
sage: N2 = ToricLattice(2)
sage: Hom21 = Hom(N2,N1)
sage: pr = Hom21([N1.0,0])
sage: P1xP1=toric_varieties.P1xP1().fan()
sage: f = FanMorphism(pr, P1xP1)
sage: f.codomain_fan().generating_cones()
(1-d cone of Rational polyhedral fan in 1-d lattice N, 1-d cone of
Rational polyhedral fan in 1-d lattice N)
sage: [ f.image_cone(c) for c in P1xP1.generating_cones() ]
[0-d cone of Rational polyhedral fan in 1-d lattice N, 0-d cone of
Rational polyhedral fan in 1-d lattice N, 0-d cone of Rational polyhedral
fan in 1-d lattice N, 0-d cone of Rational polyhedral fan in 1-d lattice
N]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9972#comment:48>
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.
