#9972: Add toric lattice morphisms
-------------------------------------+--------------------------------------
   Reporter:  novoselt               |       Owner:  mhampton  
       Type:  enhancement            |      Status:  needs_work
   Priority:  major                  |   Milestone:  sage-4.6  
  Component:  geometry               |    Keywords:            
     Author:  Andrey Novoseltsev     |    Upstream:  N/A       
   Reviewer:  Volker Braun           |      Merged:            
Work_issues:  switch to FanMorphism  |  
-------------------------------------+--------------------------------------

Comment(by vbraun):

 One potential danger is that `cone.ambient_ray_indices()` is meaningless
 if `cone` is only mathematically equivalent to a fan, but not a
 `Cone_of_fan`. I've added a new method
 `RationalPolyhedralFan.get_cone(cone)` that finds the `Cone_of_fan`
 corresponding to the cone, and I tried to make sure it gets called
 wherever we accept arbitrary cones from the user.

 But its a potential pitfall to watch out for. We could always insist on
 the user passing only `Cone_of_fan`, but that seems to be too unwieldy for
 the user. I would suggest that we move the `ambient_ray_indices()`
 accessor method to `Cone_of_fan` and convert the code in `cone.py`,
 `fan.py` to use the data member `_ambient_ray_indices` instead. All higher
 level functions then shall only use `cone.ambient_ray_indices()`,
 converting a generic cone to a `Cone_of_fan` via `fan.get_cone(cone)` if
 necessary.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9972#comment:17>
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.

Reply via email to