#19867: Add Motzkin decomposition for convex cones
-------------------------------------+-------------------------------------
       Reporter:  mjo                |        Owner:
           Type:  enhancement        |       Status:  positive_review
       Priority:  major              |    Milestone:  sage-
      Component:  geometry           |  duplicate/invalid/wontfix
       Keywords:                     |   Resolution:
        Authors:  Michael Orlitzky   |    Merged in:
Report Upstream:  N/A                |    Reviewers:  Andrey Novoseltsev
         Branch:                     |  Work issues:
  u/mjo/ticket/19867                 |       Commit:
   Dependencies:  19831              |  4e7391c09cbdde7dd9f6b027f08a0f68a14b1911
                                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by mjo):

 It does fail eventually; I must have had extraordinarily bad luck. It's
 hard to imagine that I ran that test fewer than 100 times, but once I
 moved it into a smaller file and ran with `--file-iterations=500` it
 failed.

 For it to fail you need `random_cone` to give you a nontrivial cone with a
 nontrivial lineality space that isn't equal to the entire cone. Then
 `random_element` has to assign nonzero coefficients in the right places. I
 guess I can believe it, even though 100 is a very conservative estimate.

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

Reply via email to