#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/mjo/ticket/19405 | 0c1176c68504468baaeb754756c5808e49a5fcc5
Dependencies: #19368 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by novoselt):
`_restrict_to_subspace` sounds more appropriate and in principle can be of
interest on its own, but after reading a bit of your presentation I see
that you think of dual cones as living in the same space. This is not at
all the case in Sage and quite a bit of effort went into ensuring that
dual cones live in dual lattices which have no canonical
isomorphism/coercion between them. In particular, there are sublattices of
toric lattices and duals of cones living there will live in duals of
sublattices, which are quotient of toric lattices for saturated
sublattices. There were some issues with this setup that was not used much
and was slowly improving, not sure where we are at now...
I will look closer in a few day (remind me if I don't ;-)), but it is
something worth thinking about: each cone `K` is coming with its
associated space in Sage `K.lattice()` which is not an innter-product
space, and `K.dual()` lives in a different space. It would be best if all
methods and implementations were in agreement on this point.
--
Ticket URL: <http://trac.sagemath.org/ticket/19405#comment:2>
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.
