#9504: Add support for toric sublattices
----------------------------------+-----------------------------------------
   Reporter:  novoselt            |       Owner:  mhampton  
       Type:  enhancement         |      Status:  needs_info
   Priority:  major               |   Milestone:  sage-4.5.3
  Component:  geometry            |    Keywords:            
     Author:  Andrey Novoseltsev  |    Upstream:  N/A       
   Reviewer:  Volker Braun        |      Merged:            
Work_issues:                      |  
----------------------------------+-----------------------------------------

Comment(by vbraun):

 I'll rename coercion->construction and add the missing docstrings.

 About the generators of the quotient lattice, making them part of the
 constructor call is fine, too. Should two quotient lattices with different
 (but equivalent) generators be equal? Currently, the `__eq__()` method
 does not compare the generators.

 Later on, the "positive direction" will be determined by a ray of the cone
 that is not a ray of the subcone. So its convenient if it can be specified
 by a lattice point and not a dual lattice point. I don't know any other
 place where one needs to fix the sign of quotient generators, so I haven't
 tried to write it more general.

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