Changes between Version 6 and Version 7 of Ticket #15703


Ignore:
Timestamp:
04/08/14 09:00:11 (7 years ago)
Author:
jipilab
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15703

    • Property Cc vripoll added
  • Ticket #15703 – Description

    v6 v7  
    11This is a follow up to: #9290.
    22
    3 - Create a class CoxeterDiagram (similar to DynkinDiagram)
    4   Edge labels: m_{i,j}, possibly with number <-1 for oo
     3 * Create a class CoxeterGraph (similar to DynkinDiagram) Edge labels: m_{i,j}, possibly with number <-1 for oo
    54
    6   Starter: just use a plain digraph.
     5  Starter: a edge-labeled graph.
    76
    8 - Implement the method dynkin_diagram() which builds the cartan matrix
    9   for the geometric representation
     7 * Implement the method dynkin_diagram() which builds the cartan matrix for the geometric representation
    108
    119  Starter: just make this a function
    1210
    13 - Feed this to RootSystem, and check that the root space and weight
    14   space are built properly. Rename the weyl_group method to
    15   reflection_group, with an alias from weyl_group.
     11 * Feed this to RootSystem, and check that the root space and weight space are built properly. Rename the weyl_group method to reflection_group, with an alias from weyl_group.
    1612
    17 - Long run: stuff specific to the crystallographic case, starting with
    18   this weyl_group method, should go in
    19   RootLatticeRealizations.Crystallographic. That's for a follow up
    20   ticket on using axioms for root systems; but let's not depend on
    21   #10963 right now.
     13 * Long run: stuff specific to the crystallographic case, starting with this weyl_group method, should go in RootLatticeRealizations.Crystallographic. That's for a follow up ticket on using axioms for root systems; but let's not depend on #10963 right now.
    2214
    23 - Refactor CoxeterMatrixGroup and WeylGroup to make the later a
    24   subclass of the former, and lift as many features as possible from
    25   WeylGroup to CoxeterMatrixGroup.
     15 * Refactor CoxeterMatrixGroup and WeylGroup to make the latter a subclass of the former, and lift as many features as possible from WeylGroup to CoxeterMatrixGroup.
    2616
    2717Tests:
     18
    2819{{{
    2920  sage: C = CoxeterDiagram(...)           # good name? or CartanDatum(coxeter_matrix=...) [1] ? or?
     
    3324  sage: W.domain()
    3425}}}
    35 
    3626Sage Days 57 in Cernay will be a good occasion to work on this.
    3727