Changes between Version 6 and Version 7 of Ticket #15703
 Timestamp:
 04/08/14 09:00:11 (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #15703
 Property Cc vripoll added

Ticket #15703 – Description
v6 v7 1 1 This is a follow up to: #9290. 2 2 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 5 4 6 Starter: just use a plain digraph.5 Starter: a edgelabeled graph. 7 6 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 10 8 11 9 Starter: just make this a function 12 10 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. 16 12 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. 22 14 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. 26 16 27 17 Tests: 18 28 19 {{{ 29 20 sage: C = CoxeterDiagram(...) # good name? or CartanDatum(coxeter_matrix=...) [1] ? or? … … 33 24 sage: W.domain() 34 25 }}} 35 36 26 Sage Days 57 in Cernay will be a good occasion to work on this. 37 27