#15581: Shorter long tests for KR tableaux and rigged configruations.
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  sage-combinat
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.1
      Component:  documentation      |   Resolution:
       Keywords:  long tests         |    Merged in:
        Authors:  Travis Scrimshaw   |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/combinat/rigged_configurations/speedups|  
d585a4462991e322713b12bc3ec2199aa4a83d93
   Dependencies:  #13872             |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):

 * status:  new => needs_review


Old description:

> As per this thread: https://groups.google.com/forum/?fromgroups=#!topic
> /sage-combinat-devel/WMk7H-J65qE
>
> The technical reasoning:
>
> In #13872, I implemented `e0` and `f0` operators for KR tableaux and
> rigged configurations by mapping to their corresponding
> `KirillovReshetikhinCrystal` element, then applying `e0` and `f0`
> (respecitvely) there, and then pulling back. Previously they just
> returned `None`. In `_test_stembridge_local_axioms()`, it checks to see
> that `e(i)` and `e(j)` are both not `None`, which now there is a longer
> check if that's true, and if so, then it must perform the Stembridge
> axioms check. This is why the tests now take significantly longer than
> before.
>
> The proposed solution:
>
> Make the crystals smaller.

New description:

 As per this thread: https://groups.google.com/forum/?fromgroups=#!topic
 /sage-combinat-devel/WMk7H-J65qE

 __The technical reasoning__:

 In #13872, I implemented `e0` and `f0` operators for KR tableaux and
 rigged configurations by mapping to their corresponding
 `KirillovReshetikhinCrystal` element, then applying `e0` and `f0`
 (respecitvely) there, and then pulling back. Previously they just returned
 `None`. In `_test_stembridge_local_axioms()`, it checks to see that `e(i)`
 and `e(j)` are both not `None`, which now there is a longer check if
 that's true, and if so, then it must perform the Stembridge axioms check.
 This is why the tests now take significantly longer than before.

 __The proposed solution__:

 Make the crystals smaller.

--

Comment:

 I made the really long tests now on (much) smaller crystals. I also moved
 one example to a better spot.

--
Ticket URL: <http://trac.sagemath.org/ticket/15581#comment:1>
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/groups/opt_out.

Reply via email to