Changes between Version 9 and Version 10 of Ticket #15703


Ignore:
Timestamp:
04/09/14 06:47:22 (7 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15703

    • Property Authors changed from to Jean-Philippe Labbé, Vivien Ripoll
    • Property Reviewers changed from to Nicolas M. Thiéry
  • Ticket #15703 – Description

    v9 v10  
    22
    33 * Experiment with the infrastructure scales and benchmark
    4 
    54   - Build by hand an interesting dynkin diagram.
    65   - Shoot straight at producing a nice plot with a bunch of limit roots.
     
    1312
    1413 * CoxegerGraph
    15 
    1614   - Create a class similar to DynkinDiagram
    1715     Starter: an edge-labeled graph.
     
    2119
    2220 * Update DynkinDiagram to support non crystallographic case:
    23 
    2421   - Add an argument base_ring to the constructor
    2522   - Add a method base_ring
     
    3835   - Add a base ring argument to the constructor
    3936   - Update is_crystallographic
    40    - Decide on the semantic of crystallographic (symmetrizable or
    41      not?), and if possibly add an is_... method to decide whether the
    42      entries are integral or not.
    4337   - Update is_affine
    4438   - Update is_finite
     
    4640
    4741 * CartanType
    48    - Possibly update to accept appropriate data to build a
    49      CoxeterDiagram
     42   - Possibly update to accept appropriate data to build a CoxeterDiagram (e.g. a matrix)
     43   - Add a base_ring method?
     44   - Decide on the semantic of is_crystallographic (symmetrizable or
     45     not?), and if possibly add an is_... method to decide whether the
     46     entries are integral or not.
     47   - Provide a dynkin_diagram method that builds the Dynkin diagram
     48     from the Coxeter diagram when available
     49   - Test: H_3 and friends should have a working dynkin_diagram method
    5050
    5151 * RootSystem
    52 
    5352   - Decide on the meaning of root_lattice: either disable it in the
    5453     non integral case, or have it be the span of the roots over the
     
    5655
    5756 * RootLatticeRealizations:
    58 
    5957   - Feed this to RootSystem, and check that the root space and weight
    6058     space are built properly.
     
    6866
    6967 * RootSpace (for this ticket or some follow up):
    70 
    7168   - Define the inner product
    7269   - Signature of the bilinear form
    7370
    7471 * CoxeterMatrixGroup and WeylGroup:
    75 
    7672   - Refactor WeylGroup to make it a subclass of CoxeterMatrixGroup,
    7773     and lift as many features as possible from WeylGroup to
     
    8581
    8682 * Update WeylGroups:
    87 
    8883   - inversions: use the "root_lattice" by default?
    8984
    90  * Cartan types
    91 
    92    - provide a dynkin_diagram method that builds the Dynkin diagram
    93      from the Coxeter diagram when available?
    94    - Test: H_3 and friends should have a working dynkin_diagram method
    95 
    9685 * Prerequisites:
    97 
    9886   - Add a _float_ method to UCF
    9987