#19405: Add lyapunov_rank() method for polyhedral cones
-------------------------------------+-------------------------------------
       Reporter:  mjo                |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.10
      Component:  geometry           |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Michael Orlitzky   |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/novoselt/ticket/19405            |  d01c7ab1915d95178b44c2d42f43228ca7affdc2
   Dependencies:  #19368             |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by novoselt):

 I can tell you exactly what matrix to use for the change of coordinates
 when the cone itself is returned, but I suspect you know it yourself ;-)

 The method does not claim anything about which basis is used (although we
 can mention it, of course) and mathematically there is no good
 (=canonical) choice of basis for the sublattice of the cone. In this case
 I think the best option would be to return with the cone also the matrix
 of the transformation, perhaps only when requested explicitly,
 `K.solid_restriction(transformation=True)`, and this matrix will be
 identity in the solid case.

--
Ticket URL: <http://trac.sagemath.org/ticket/19405#comment:21>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to