#9285: Challenge: iterating through E8 in 5 minutes
-----------------------------+----------------------------------------------
   Reporter:  nthiery        |       Owner:  sage-combinat         
       Type:  enhancement    |      Status:  new                   
   Priority:  major          |   Milestone:  sage-wishlist         
  Component:  combinatorics  |    Keywords:  Coxeter groups, Chevie
     Author:                 |    Upstream:  N/A                   
   Reviewer:                 |      Merged:                        
Work_issues:                 |  
-----------------------------+----------------------------------------------
Description changed by nthiery:

Old description:

> The current code for iterating trough all elements of a Coxeter group is
> currently ridiculously slow. For E8, it should take no more than a couple
> minutes, as Franck Lubeck's reported was possible in GAP.
>
> There are several routes to this end, which all deserve to be explored:
>
>  * Using GAP's code; this will require at least fixing a {{{select}}}
> issue in GAP's interface (TODO: add ticket), if not using libGAP
>
>  * Optimizing the underlying CombinatorialFreeModule's code
>
>  * Optimizing the generic Coxeter group code
>
>  * Using properly Coxeter 3

New description:

 The current code for iterating trough all elements of a Coxeter group
 is currently ridiculously slow. For E8, it should take no more than a
 couple minutes, as Franck Lubeck's reported was possible in GAP. The
 goal is not to brag, but to make sure that the infrastructure does not
 impose unnecessary overhead.

 There are several routes to this end, which all deserve to be explored:
  * Using GAP's code; this will require at least fixing a {{{select}}}
    issue in GAP's interface (TODO: add ticket), if not using libGAP,
    and implementing the iter protocol for gap objects using GAP's
    Iterator (TODO: add ticket).
  * Optimizing the underlying CombinatorialFreeModule's arithmetic
  * Ensuring that the permutation arithmetic is as fast as it should be
  * Optimizing the generic Coxeter group code
  * Using properly Coxeter 3

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9285#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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to