#15463: Implement crystal morphisms, subcrystals, and virtual crystals
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  sage-combinat
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.2
      Component:  combinatorics      |   Resolution:
       Keywords:  crystals,          |    Merged in:
  morphisms, subcrystals             |    Reviewers:
        Authors:  Travis Scrimshaw   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  639ea0fdbe29bf4d3c6979b4a48f007bd8d7c30d
  public/combinat/crystals/crystal_morphisms|     Stopgaps:
   Dependencies:  #15462 #15882      |
-------------------------------------+-------------------------------------
Changes (by tscrim):

 * dependencies:  #15462 => #15462 #15882


Comment:

 With the new custom promotion map, I actually get a speedup when running
 the test suite except with the twisted types -- most likely from the maps
 to/from the ambient type which aren't cached as well:
 {{{
 sage: test_KR(['A',4,1], 3, 2)
 construction
 CPU times: user 36 ms, sys: 4 ms, total: 40 ms
 Wall time: 40.1 ms
 TestSuite:
 CPU times: user 1.1 s, sys: 36 ms, total: 1.13 s
 Wall time: 1.15 s
 Digraph:
 CPU times: user 144 ms, sys: 4 ms, total: 148 ms
 Wall time: 164 ms
 sage: test_KR(['A',4,1], 3, 2)
 construction
 CPU times: user 0 ns, sys: 0 ns, total: 0 ns
 Wall time: 240 µs
 TestSuite:
 CPU times: user 708 ms, sys: 24 ms, total: 732 ms
 Wall time: 712 ms
 Digraph:
 CPU times: user 180 ms, sys: 4 ms, total: 184 ms
 Wall time: 207 ms
 sage: test_KR(['D',4,1], 2, 1)
 construction
 CPU times: user 24 ms, sys: 4 ms, total: 28 ms
 Wall time: 26.5 ms
 TestSuite:
 CPU times: user 412 ms, sys: 0 ns, total: 412 ms
 Wall time: 421 ms
 Digraph:
 CPU times: user 112 ms, sys: 4 ms, total: 116 ms
 Wall time: 126 ms
 sage: test_KR(['E',6,1], 1, 1)
 construction
 CPU times: user 124 ms, sys: 8 ms, total: 132 ms
 Wall time: 132 ms
 TestSuite:
 CPU times: user 232 ms, sys: 0 ns, total: 232 ms
 Wall time: 234 ms
 Digraph:
 CPU times: user 104 ms, sys: 8 ms, total: 112 ms
 Wall time: 124 ms
 sage: test_KR(['A',6,2], 2, 1)
 construction
 CPU times: user 12 ms, sys: 4 ms, total: 16 ms
 Wall time: 15.3 ms
 TestSuite:
 CPU times: user 1.2 s, sys: 8 ms, total: 1.2 s
 Wall time: 1.23 s
 Digraph:
 CPU times: user 184 ms, sys: 4 ms, total: 188 ms
 Wall time: 200 ms
 sage: test_KR(['D',4,2], 2, 1)
 construction
 CPU times: user 8 ms, sys: 4 ms, total: 12 ms
 Wall time: 11 ms
 TestSuite:
 CPU times: user 1.02 s, sys: 8 ms, total: 1.03 s
 Wall time: 1.05 s
 Digraph:
 CPU times: user 164 ms, sys: 4 ms, total: 168 ms
 Wall time: 176 ms
 sage: test_KR(['D',4,1], 2, 2)
 construction
 CPU times: user 20 ms, sys: 0 ns, total: 20 ms
 Wall time: 17.7 ms
 TestSuite:
 CPU times: user 4.07 s, sys: 4 ms, total: 4.07 s
 Wall time: 4.08 s
 Digraph:
 CPU times: user 328 ms, sys: 4 ms, total: 332 ms
 Wall time: 344 ms
 }}}
 Before:
 {{{
 sage: test_KR(['A',4,1], 3, 2)
 construction
 CPU times: user 32 ms, sys: 0 ns, total: 32 ms
 Wall time: 128 ms
 TestSuite:
 CPU times: user 2.88 s, sys: 72 ms, total: 2.95 s
 Wall time: 3.54 s
 Digraph:
 CPU times: user 236 ms, sys: 8 ms, total: 244 ms
 Wall time: 253 ms

 sage: test_KR(['D',4,1], 2, 1)
 construction
 CPU times: user 20 ms, sys: 4 ms, total: 24 ms
 Wall time: 58.2 ms
 TestSuite:
 CPU times: user 528 ms, sys: 12 ms, total: 540 ms
 Wall time: 602 ms
 Digraph:
 CPU times: user 104 ms, sys: 4 ms, total: 108 ms
 Wall time: 121 ms

 sage: test_KR(['E',6,1], 1, 1)
 construction
 CPU times: user 28 ms, sys: 8 ms, total: 36 ms
 Wall time: 47.7 ms
 TestSuite:
 CPU times: user 424 ms, sys: 16 ms, total: 440 ms
 Wall time: 445 ms
 Digraph:
 CPU times: user 96 ms, sys: 24 ms, total: 120 ms
 Wall time: 128 ms

 sage: test_KR(['A',6,2], 2, 1)
 construction
 CPU times: user 20 ms, sys: 0 ns, total: 20 ms
 Wall time: 97.4 ms
 TestSuite:
 CPU times: user 716 ms, sys: 16 ms, total: 732 ms
 Wall time: 762 ms
 Digraph:
 CPU times: user 168 ms, sys: 8 ms, total: 176 ms
 Wall time: 189 ms

 sage: test_KR(['D',4,2], 2, 1)
 construction
 CPU times: user 12 ms, sys: 0 ns, total: 12 ms
 Wall time: 11.3 ms
 TestSuite:
 CPU times: user 404 ms, sys: 28 ms, total: 432 ms
 Wall time: 480 ms
 Digraph:
 CPU times: user 124 ms, sys: 8 ms, total: 132 ms
 Wall time: 170 ms

 sage: test_KR(['D',4,1], 2, 2)
 construction
 CPU times: user 16 ms, sys: 4 ms, total: 20 ms
 Wall time: 18 ms
 TestSuite:
 CPU times: user 5.08 s, sys: 12 ms, total: 5.1 s
 Wall time: 5.13 s
 Digraph:
 CPU times: user 312 ms, sys: 4 ms, total: 316 ms
 Wall time: 328 ms
 }}}
 Now to merge with #15882 and do some work on the doc and make all tests
 pass.

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