#19867: Add Motzkin decomposition for convex cones
-------------------------------------+-------------------------------------
Reporter: mjo | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.0
Component: geometry | Resolution:
Keywords: | Merged in:
Authors: Michael Orlitzky | Reviewers: Andrey Novoseltsev
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mjo/ticket/19867 | 4e7391c09cbdde7dd9f6b027f08a0f68a14b1911
Dependencies: 19831 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by novoselt):
If orthogonality is essential but we don't have a concept of it, then
perhaps we just should not have this method indeed.
Regarding direct sum vs. Minkowski: you should be explicit what exactly is
lineality space L. The current implementation returns a cone which lives
in the ambient lattice which spans L. I would argue that it should be a
sublattice of the ambient lattice, not a cone at all. If you insist on it
being a cone, then it should be cone equal to L that lives in the
sublattice L. The "other part" C should then live in some sublattice which
together with L give the whole abmient lattice and indeed their direct sum
will give the original cone while Minkowski sum would not make sense.
Sorry for dragging a simple function - it just does not feel right to
me...
--
Ticket URL: <http://trac.sagemath.org/ticket/19867#comment:10>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
