#15703: Refactor Coxeter groups as matrix groups and non crystallographic root
systems
---------------------------------+------------------------
       Reporter:  nthiery        |        Owner:
           Type:  enhancement    |       Status:  new
       Priority:  major          |    Milestone:  sage-6.2
      Component:  combinatorics  |   Resolution:
       Keywords:  coxeter        |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+------------------------
Changes (by nthiery):

 * cc: jipilab (added)


Old description:

> This is a follow up to: #9290.
>
> Refactor CoxeterMatrixGroup and WeylGroup to make the later a subclass of
> the former, and lift as many features as possible from WeylGroup to
> CoxeterMatrixGroup. This includes:
> - Building the matrices from a root lattice realization
> - Implementing the following methods:
>   {{{
>   sage: W = CoxeterGroup(['H',3])
>   sage: W.domain()
>   }}}
>
> As a prerequisite, implement root spaces and weight spaces for non-
> crystallographic Coxeter groups.
>
> Sage Days 47 in Cernay will be a good occasion to work on this.

New description:

 This is a follow up to: #9290.

 Refactor CoxeterMatrixGroup and WeylGroup to make the later a subclass of
 the former, and lift as many features as possible from WeylGroup to
 CoxeterMatrixGroup. This includes:
 - Building the matrices from a root lattice realization
 - Implementing the following methods:
   {{{
   sage: W = CoxeterGroup(['H',3])
   sage: W.domain()
   }}}

 As a prerequisite, implement root spaces and weight spaces for non-
 crystallographic Coxeter groups.

 Sage Days 57 in Cernay will be a good occasion to work on this.

--

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