#20078: Minimal non faces of simplicial complexes: Improve speed
-------------------------------------------------+-------------------------
       Reporter:  jipilab                        |        Owner:
           Type:  enhancement                    |       Status:  new
       Priority:  major                          |    Milestone:  sage-7.1
      Component:  PLEASE CHANGE                  |   Resolution:
       Keywords:  simplicial complex, minimal    |    Merged in:
  nonface                                        |    Reviewers:
        Authors:  Jean-Philippe Labbé            |  Work issues:
Report Upstream:  N/A                            |       Commit:
         Branch:                                 |     Stopgaps:
   Dependencies:                                 |
-------------------------------------------------+-------------------------
Changes (by jipilab):

 * commit:  a26ad0bfff0273656cebb060691056dd75fc2f7b =>
 * component:  algebraic topology => PLEASE CHANGE
 * branch:  u/jipilab/minnonface =>


Comment:

 @Christian: Do you think you could profile the following example in
 polymake (it is the multi-cluster complex A_3 with k=2):

 sage: SC = SimplicialComplex({(0, 3, 5, 9, 10, 11), (0, 1, 7, 8, 9, 11),
 (2, 3, 4, 8, 9, 10), (1, 3, 5, 6, 7, 11), (1, 2, 3, 5, 7, 9), (0, 1, 8, 9,
 10, 11), (0, 2, 3, 4, 9, 10), (2, 3, 4, 6, 7, 8), (0, 1, 2, 4, 5, 6), (2,
 3, 4, 5, 7, 9), (0, 3, 4, 5, 10, 11), (0, 1, 2, 3, 4, 5), (5, 7, 8, 9, 10,
 11), (0, 4, 5, 6, 9, 10), (1, 3, 8, 9, 10, 11), (0, 1, 2, 3, 10, 11), (0,
 1, 6, 7, 8, 11), (4, 5, 6, 8, 10, 11), (3, 4, 5, 7, 8, 9), (1, 3, 7, 8, 9,
 11), (1, 2, 3, 8, 10, 11), (0, 1, 5, 6, 7, 11), (0, 1, 3, 4, 5, 11), (4,
 5, 6, 8, 9, 10), (0, 5, 6, 7, 9, 10), (3, 4, 5, 6, 8, 11), (0, 2, 6, 8,
 10, 11), (1, 2, 3, 7, 8, 9), (0, 1, 2, 5, 6, 7), (0, 5, 6, 7, 10, 11), (1,
 2, 3, 8, 9, 10), (0, 1, 2, 7, 8, 9), (5, 6, 7, 8, 9, 10), (1, 2, 3, 6, 8,
 11), (0, 1, 2, 4, 6, 11), (0, 2, 4, 5, 6, 9), (0, 1, 4, 5, 6, 11), (0, 1,
 2, 8, 9, 10), (0, 2, 6, 7, 8, 9), (2, 3, 4, 8, 10, 11), (3, 4, 5, 8, 10,
 11), (0, 1, 2, 6, 8, 11), (2, 3, 4, 5, 6, 7), (0, 2, 5, 6, 7, 9), (5, 6,
 7, 8, 10, 11), (0, 1, 2, 8, 10, 11), (0, 1, 2, 5, 7, 9), (1, 2, 3, 4, 5,
 6), (0, 1, 3, 5, 9, 11), (0, 7, 8, 9, 10, 11), (3, 5, 7, 8, 9, 11), (3, 5,
 6, 7, 8, 11), (2, 3, 4, 7, 8, 9), (2, 4, 6, 8, 10, 11), (0, 1, 3, 9, 10,
 11), (1, 3, 6, 7, 8, 11), (0, 1, 2, 3, 9, 10), (2, 3, 4, 6, 8, 11), (3, 5,
 8, 9, 10, 11), (2, 4, 6, 8, 9, 10), (0, 1, 2, 3, 4, 11), (4, 5, 6, 7, 8,
 9), (0, 6, 7, 8, 10, 11), (0, 3, 4, 5, 9, 10), (0, 1, 2, 3, 5, 9), (0, 1,
 2, 6, 7, 8), (3, 4, 5, 8, 9, 10), (2, 4, 5, 6, 7, 9), (1, 2, 3, 5, 6, 7),
 (0, 4, 5, 6, 10, 11), (0, 6, 7, 8, 9, 10), (2, 4, 6, 7, 8, 9), (0, 2, 6,
 8, 9, 10), (1, 2, 3, 4, 6, 11), (0, 2, 4, 6, 9, 10), (0, 5, 7, 9, 10, 11),
 (1, 2, 3, 6, 7, 8), (1, 3, 4, 5, 6, 11), (0, 2, 3, 4, 10, 11), (0, 2, 3,
 4, 5, 9), (1, 3, 5, 7, 9, 11), (0, 1, 5, 7, 9, 11), (3, 4, 5, 6, 7, 8),
 (0, 2, 4, 6, 10, 11)})
 sage: %time SC.minimal_nonfaces()
 CPU times: user 427 ms, sys: 94.1 ms, total: 521 ms
 Wall time: 533 ms
 {(9, 3, 6), (1, 10, 6), (2, 10, 7), (2, 10, 5), (1, 10, 7), (1, 4, 9), (1,
 4, 7), (8, 1, 4), (11, 4, 7), (10, 3, 7), (1, 6, 9), (8, 2, 5), (9, 11,
 6), (0, 8, 3), (8, 1, 5), (0, 8, 5), (9, 11, 4), (10, 4, 7), (1, 10, 5),
 (0, 3, 7), (9, 2, 11), (0, 3, 6), (2, 11, 7), (0, 4, 7), (2, 11, 5), (1,
 10, 4), (0, 8, 4), (10, 3, 6)}

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