#9296: Add lattice computations for convex polyhedral cones
----------------------------------+-----------------------------------------
   Reporter:  vbraun              |       Owner:  mhampton  
       Type:  enhancement         |      Status:  needs_info
   Priority:  major               |   Milestone:  sage-4.5  
  Component:  geometry            |    Keywords:            
     Author:  Volker Braun        |    Upstream:  N/A       
   Reviewer:  Andrey Novoseltsev  |      Merged:            
Work_issues:                      |  
----------------------------------+-----------------------------------------

Comment(by novoselt):

 I have rewritten `ToricLattice` to completely mimic all classes of
 `FreeModule_over_pid`, so far everything works and didn't require any
 adjustments to other modules, which is good. Will add sublattice/quotient
 lattices and post a patch today or tomorrow. Are you OK with these names:

  * `submodule` to construct a sublattice (that is the inherited name, so
 the question is basically should there be `sublattice` alias or not);

  * `quotient` (same as `/` operator) to get the usual quotient which can
 contain torsion;

  * `quotient_lattice(sublattice, <target_specification>)` to construct the
 quotient by `sublattice` (raise exception if it is not saturated) as a
 toric lattice with possible specification of what the result should be. If
 we want to use `lift`, it maybe necessary to add another class.

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