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

Comment(by vbraun):

 1) Oops, yes will fix this (probably tomorrow)

 2) I think "trivial cone" is standard nomenclature. But I'll have to say I
 was a bit confused as to how to split methods between `Cone` and
 `IntegralRayCollection`, and just put `is_trivial` together with all the
 other `is_*` methods. But I guess everything that does not reference
 **ambient** should go into `IntegralRayCollection`. Then, for example,
 `is_simplicial` should be moved as well?

 3) The lattice will always be the `cone.lattice()` one. I agree that it
 might be confusing if the lattice is called `MyNLattice` yet the method is
 still called `cone.N()` and not `cone.MyNLattice()`. On the other hand,
 writing `sigma.N()` for `N_\sigma` is extremely cute. I would claim that
 most beginners will end up using the default N/M lattices, and to advanced
 users it will be clear that the method names don't change just because you
 change the lattice name. Of course I'm open to better names...

 4,5) If I remember correctly then the "sequence of generating lattice
 vectors" ends up being used more often than the projection to the quotient
 lattice. So you might want to wait a bit before overengineering this part.

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